Trade-offs between time and memory in a tighter model of CDCL SAT solvers

Jan Elffers, Jan Johannsen, Massimo Lauria, Thomas Magnard, Jakob Nordström, Marc Vinyals

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

Fingeravtryck

Fördjupa i forskningsämnen för ”Trade-offs between time and memory in a tighter model of CDCL SAT solvers”. Tillsammans bildar de ett unikt fingeravtryck.

Computer Science