Using combinatorial benchmarks to probe the reasoning power of pseudo-boolean solvers

Jan Elffers, Jesús Giráldez-Cru, Jakob Nordström, Marc Vinyals

Forskningsoutput: Kapitel i bok/rapport/Conference proceedingKonferenspaper i proceedingPeer review

Fingeravtryck

Fördjupa i forskningsämnen för ”Using combinatorial benchmarks to probe the reasoning power of pseudo-boolean solvers”. Tillsammans bildar de ett unikt fingeravtryck.

Computer Science