conftrace_

conflict-driven clause learning

13 papers

Explore in graph

Also known as

CDCL

Co-occurring keywords

sat solver (78) clause learning (10) pseudo-boolean solving (4) sat solving (25) division rule (1) quantified boolean formula (23) symmetry exploitation (6) proof complexity (8) conflict analysis (11) model counting (46)

Papers

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
A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers IJCAI 2023
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
Seeking Practical CDCL Insights from Theoretical SAT Benchmarks IJCAI 2018
Exploiting Justifications for Lazy Grounding of Answer Set Programs IJCAI 2018
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality IJCAI 2017