Cover Image

Circuit-Aware SAT Solving: Guiding CDCL via Conditional Probabilities

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhu, Jiaying, Zheng, Ziyang, Shi, Zhengyuan, Cai, Yalun, Xu, Qiang
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

TRACE: Learning to Compute on Circuit Graphs
by: Zheng, Ziyang, et al.
Published: (2025)

NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks
by: Wang, Wenxi, et al.
Published: (2021)

DeepGate3: Towards Scalable Circuit Representation Learning
by: Shi, Zhengyuan, et al.
Published: (2024)

Functional Matching of Logic Subgraphs: Beyond Structural Isomorphism
by: Zheng, Ziyang, et al.
Published: (2025)

Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving
by: Shi, Zhengyuan, et al.
Published: (2024)

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

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

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

DeepCell: Self-Supervised Multiview Fusion for Circuit Representation Learning
by: Shi, Zhengyuan, et al.
Published: (2025)

AC-Refiner: Efficient Arithmetic Circuit Optimization Using Conditional Diffusion Models
by: Xue, Chenhao, et al.
Published: (2025)

Orthologic for SAT Solving
by: de Haldat, Vladislas, et al.
Published: (2026)

Solving Cyclic Antibandwidth Problem by SAT
by: Xuan, Hieu Truong, et al.
Published: (2026)

AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
by: Sun, Yiwen, et al.
Published: (2024)

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

Resilient Routing: Risk-Aware Dynamic Routing in Smart Logistics via Spatiotemporal Graph Learning
by: Xue, Zhiming, et al.
Published: (2026)

Efficient Parallel Algorithm for Decomposing Hard CircuitSAT Instances
by: Kondratiev, Victor, et al.
Published: (2026)

Neural Approaches to SAT Solving: Design Choices and Interpretability
by: Mojžíšek, David, et al.
Published: (2025)

Non-Cross Diffusion for Semantic Consistency
by: Zheng, Ziyang, et al.
Published: (2023)

Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT
by: Van Kieu, Tuyen, et al.
Published: (2026)

GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
by: Kim, Curie, et al.
Published: (2026)

AI Scientist via Synthetic Task Scaling
by: Cai, Ziyang, et al.
Published: (2026)

Skill Path: Unveiling Language Skills from Circuit Graphs
by: Chen, Hang, et al.
Published: (2024)

Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis
by: Ye, Furong, et al.
Published: (2024)

CktEvo: Repository-Level RTL Code Benchmark for Design Evolution
by: Shi, Zhengyuan, et al.
Published: (2026)

Detecting Unfaithful Chain-of-Thought via Circuit-Guided Internal-External Discrepancy
by: Shen, Xu, et al.
Published: (2026)

Can Transformers Reason Logically? A Study in SAT Solving
by: Pan, Leyan, et al.
Published: (2024)

Making Slow Thinking Faster: Compressing LLM Chain-of-Thought via Step Entropy
by: Li, Zeju, et al.
Published: (2025)

VI-CuRL: Stabilizing Verifier-Independent RL Reasoning via Confidence-Guided Variance Reduction
by: Cai, Xin-Qiang, et al.
Published: (2026)

Identifying and Solving Conditional Image Leakage in Image-to-Video Diffusion Model
by: Zhao, Min, et al.
Published: (2024)

DaSAThco: Data-Aware SAT Heuristics Combinations Optimization via Large Language Models
by: Chen, Minyu, et al.
Published: (2025)

Fast Analysis of the OpenAI O1-Preview Model in Solving Random K-SAT Problem: Does the LLM Solve the Problem Itself or Call an External SAT Solver?
by: Marino, Raffaele
Published: (2024)

First Token Probability Guided RAG for Telecom Question Answering
by: Chen, Tingwei, et al.
Published: (2025)

GeoRA: Geometry-Aware Low-Rank Adaptation for RLVR
by: Zhang, Jiaying, et al.
Published: (2026)

DeepSeq2: Enhanced Sequential Circuit Learning with Disentangled Representations
by: Khan, Sadaf, et al.
Published: (2024)

Certified MaxSAT Preprocessing
by: Ihalainen, Hannes, et al.
Published: (2024)

MILP-SAT-GNN: Yet Another Neural SAT Solver
by: Cardillo, Franco Alberto, et al.
Published: (2025)

Geometry-Aware Probabilistic Circuits via Voronoi Tessellations
by: Sidheekh, Sahil, et al.
Published: (2026)

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization
by: Zhang, Zhiwei, et al.
Published: (2025)

ViTSP: A Vision Language Models Guided Framework for Solving Large-Scale Traveling Salesman Problems
by: Yin, Zhuoli, et al.
Published: (2025)