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

Jan Elffers, Jess Girldez-Cru, Jakob Nordstrm, Marc Vinyals

Browse the full SAT paper archive.