conftrace_

pseudo-boolean solving

4 papers

Explore in graph

Also known as

PBS

Co-occurring keywords · papers mentioning both

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

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