JKU

TNF / INF

team
contact
software
publications
teaching
jobs


GI-Dissertation Award 2020

FMCAD'20 Student Forum Best Student Contribution

SAT'20 Best Presentation Award

GCAI'19 Post and Interaction Award

IJCAI-JAIR 2019 Award

SAT'19 Best Student Paper

CAV'18 Award

HVC'17 Best Paper

ETAPS'17 Test of Time Award

HVC'15 Award

FMCAD'17 Best Paper

CADE'17 Best Paper

BMC

Handbook of Satisfiability

UML@Classroom

UML@Classroom

www.digitaltechnik.org

Backing Backtracking

Formalizing Chronological Backtracking for CDCL

This page provides source code and experimental data for our SAT'19 paper:

Sibylle Möhle, Armin Biere. Backing Backtracking In Proc. 22nd Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT'19), Lecture Notes in Computer Science (LNCS) vol. 11628, pages 250-166, Springer 2019.
[ preprint | bibtex | experiments ]

[ chrono.tar.xz | chrono-no-logs.tar.xz ]