Seeking practical CDCL insights from theoretical SAT benchmarks

Jan Elffers, Jesús Giráldez Cru, Stephan Gocht, Jakob Nordström, Laurent Simon

Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding › Peer review

Fingeravtryck

Fördjupa i forskningsämnen för ”Seeking practical CDCL insights from theoretical SAT benchmarks”. Tillsammans bildar de ett unikt fingeravtryck.

Computer Science