Cover Image

NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wang, Wenxi, Hu, Yang, Tiwari, Mohit, Khurshid, Sarfraz, McMillan, Kenneth, Miikkulainen, Risto
Format:	Preprint
Published:	2021
Subjects:	Artificial Intelligence Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Generative AI: An AI paradigm shift in the making?
by: Risto Miikkulainen
Published: (2024)

Probabilistic-bit Guided CDCL for SAT Solving using Ising Consensus Assumptions
by: Bino, Melki
Published: (2026)

Neural Cellular Automata for ARC-AGI
by: Xu, Kevin, et al.
Published: (2025)

Asynchronous Evolution of Deep Neural Network Architectures
by: Liang, Jason, et al.
Published: (2023)

Circuit-Aware SAT Solving: Guiding CDCL via Conditional Probabilities
by: Zhu, Jiaying, et al.
Published: (2025)

Property-Driven Evaluation of GNN Expressiveness at Scale: Datasets, Framework, and Study
by: Che, Sicong, et al.
Published: (2026)

DeepCDCL: An CDCL-based Neural Network Verification Framework
by: Liu, Zongxin, et al.
Published: (2024)

Rethinking Clause Management for CDCL SAT Solvers
by: Cai, Yalun, et al.
Published: (2026)

Optimizing the Design of an Artificial Pancreas to Improve Diabetes Management
by: Khanna, Ashok, et al.
Published: (2024)

The Odyssey of the Fittest: Can Agents Survive and Still Be Good?
by: Waldner, Dylan, et al.
Published: (2025)

Semantic Density: Uncertainty Quantification for Large Language Models through Confidence Measurement in Semantic Space
by: Qiu, Xin, et al.
Published: (2024)

GPU-Accelerated Rule Evaluation and Evolution
by: Shahrzad, Hormoz, et al.
Published: (2024)

A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
by: Li, Chunxiao, et al.
Published: (2024)

An approach for API synthesis using large language models
by: Zhong, Hua, et al.
Published: (2025)

Learning from the Past: How Previous Technological Transformations Can Guide AI Development
by: Miikkulainen, Risto, et al.
Published: (2019)

Attractor Geometry of Transformer Memory: From Conflict Arbitration to Confident Hallucination
by: Liang, Qiyao, et al.
Published: (2026)

Caesar: Deep Agentic Web Exploration for Creative Answer Synthesis
by: Liang, Jason, et al.
Published: (2026)

Effective Regularization Through Loss-Function Metalearning
by: Gonzalez, Santiago, et al.
Published: (2020)

Quantized Evolution Strategies: High-precision Fine-tuning of Quantized LLMs at Low-precision Cost
by: Xu, Yinggan, et al.
Published: (2026)

EVOTER: Evolution of Transparent Explainable Rule-sets
by: Shahrzad, Hormoz, et al.
Published: (2022)

Generating executable oracles to check conformance of client code to requirements of JDK Javadocs using LLMs
by: Jiang, Shan, et al.
Published: (2024)

Accelerating Discrete Facility Layout Optimization: A Hybrid CDCL and CP-SAT Architecture
by: Gibson, Joshua, et al.
Published: (2025)

G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
by: Li, Zhaoyu, et al.
Published: (2023)

Transformer Based Time-Series Forecasting for Stock
by: Li, Shuozhe, et al.
Published: (2025)

A characterization of Pfaffian embeddings from (2, 3, 5)- into flat (4, 7)-geometries
by: McMillan, Benjamin
Published: (2024)

Instruction Adherence in Coding Agent Configuration Files: A Factorial Study of Four File-Structure Variables
by: McMillan, Damon
Published: (2026)

Structured Context Engineering for File-Native Agentic Systems: Evaluating Schema Accuracy, Format Effectiveness, and Multi-File Navigation at Scale
by: McMillan, Damon
Published: (2026)

Edges of Empire: The Politics of Immigration in Aotearoa New Zealand, 1980–2020. By Francis L.Collins, AlanGamlen, and NeilVallelly, Auckland: Auckland University Press, 2025. ix + 331 pp. NZ $49.99 ( paperback ). ISBN: 978 177671 112 3.
by: Kate McMillan
Published: (2026)

Tensor $2$-Product for $\mathfrak{sl}_{2}$: Extensions to the Negative Half
by: McMillan, Matthew
Published: (2023)

Research in Education: A Guide to Selected Research Reference Sources.
by: McMillan, Pat
Published: (1980)

Digital Preservation of Theses and Dissertations through Collaboration
by: McMillan, Gail
Published: (2004)

Technical Processing of Electronic Journals.
by: McMillan, Gail
Published: (1992)

A Demonstration of the Interrelating of Library and Basic Education Services for Disadvantaged Adults. Final Report, Richland County School District Number One.
by: McMillan, Eunice
Published: (1973)

Semantic Similarity Loss for Neural Source Code Summarization
by: Su, Chia-Yi, et al.
Published: (2023)

DateSAT: A Framework for Solving Date and Period Constraints
by: Cui, Leyi, et al.
Published: (2026)

Enhanced Convolutional Neural Networks for Improved Image Classification
by: Yang, Xiaoran, et al.
Published: (2025)

OBsmith: LLM-Powered JavaScript Obfuscator Testing
by: Jiang, Shan, et al.
Published: (2025)

APRIL: API Synthesis with Automatic Prompt Optimization and Reinforcement Learning
by: Zhong, Hua, et al.
Published: (2025)

Leveraging Evolutionary Surrogate-Assisted Prescription in Multi-Objective Chlorination Control Systems
by: Monsia, Rivaaj, et al.
Published: (2025)

Evolutionary Policy Optimization
by: Mustafaoglu, Zelal Su "Lain", et al.
Published: (2025)