conftrace_

pseudo-boolean solving

4 papers

Explore in graph

Also known as

PBS

Co-occurring keywords

sat solver (78) conflict-driven clause learning (13) conflict analysis (11) cutting plane (26) division rule (1) cnf formula (4) proof logging (9) integer coefficient (1) cnf translation (1) pseudo-boolean solver (2)

Papers

Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract). IJCAI 2023
A Cardinal Improvement to Pseudo-Boolean Solving AAAI 2020
On Division Versus Saturation in Pseudo-Boolean Solving IJCAI 2019
Divide and Conquer: Towards Faster Pseudo-Boolean Solving IJCAI 2018