conflict-driven clause learning

A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic AAAI 2025 Disjoint Partial Enumeration without Blocking Clauses AAAI 2024 Hardness of Random Reordered Encodings of Parity for Resolution and CDCL AAAI 2024 NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks ICLR 2024 A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers IJCAI 2023 Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract) IJCAI 2022 QCDCL with Cube Learning or Pure Literal Elimination - What is Best? IJCAI 2022 Symmetric Component Caching for Model Counting on Combinatorial Instances AAAI 2021 Guiding CDCL SAT Search via Random Exploration amid Conflict Depression AAAI 2020 On Division Versus Saturation in Pseudo-Boolean Solving IJCAI 2019 Conflict Directed Clause Learning for Maximum Weighted Clique Problem IJCAI 2018 Divide and Conquer: Towards Faster Pseudo-Boolean Solving IJCAI 2018 Exploiting Justifications for Lazy Grounding of Answer Set Programs IJCAI 2018 Seeking Practical CDCL Insights from Theoretical SAT Benchmarks IJCAI 2018 A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality IJCAI 2017