Certified Core-Guided MaxSAT Solving

Andy Oertel, Jeremias Berg, Bart Bogaerts, Jakob Nordström and Dieter Vandesande

An Auditable Constraint Programming Solver

Stephan Gocht, Ciaran McCreesh and Jakob Nordström

Certified CNF Translations for Pseudo-Boolean Solving

Stephan Gocht, Ruben Martins, Jakob Nordström and Andy Oertel

Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification

Daniela Kaufmann, Paul Beame, Armin Biere and Jakob Nordstrom

Certified Symmetry and Dominance Breaking for Combinatorial Optimisation

Bart Bogaerts, Stephan Gocht, Ciaran McCreesh and Jakob Nordstrom

Learn to Relax: Integrating Integer Linear Programming with Conflict-Driven Search

Jo Devriendt, Ambros Gleixner and Jakob Nordström

Seeking Practical CDCL Insights from Theoretical SAT Benchmarks

Jan Elffers, Jesus Giráldez-Cru, Stephan Gocht, Jakob Nordstrom and Laurent Simon

In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving

Marc Vinyals, Jan Elffers, Jesús Giráldez-Crú, Stephan Gocht and Jakob Nordstrom

Divide and Conquer: Towards Faster Pseudo-Boolean Solving

Jan Elffers and Jakob Nordstrom

Using Combinatorial Benchmarks to Probe the Reasoning Power of Pseudo-Boolean Solvers

Jan Elffers, Jesus Giráldez-Cru, Jakob Nordstrom and Marc Vinyals