conftrace_

pseudo-boolean solver

2 papers

Explore in graph

Also known as

PBS

Co-occurring keywords · papers mentioning both

sat solver (2) proof logging (1) bounds consistency (1) multiplication constraint (1) conflict analysis (1) cnf formula (1) pseudo-boolean solving (1) constraint programming (1) cardinality constraint (1) constraint satisfaction (1)

Papers

Certifying Bounds Propagation for Integer Multiplication Constraints AAAI 2025 A Cardinal Improvement to Pseudo-Boolean Solving AAAI 2020