@inproceedings{Fleury_CADE23,
TITLE = {A More Pragmatic {CDCL} for {IsaSAT} and Targetting {LLVM} (Short Paper)},
AUTHOR = {Fleury, Mathias and Lammich, Peter},
LANGUAGE = {eng},
ISBN = {978-3-031-38498-1},
DOI = {10.1007/978-3-031-38499-8_12},
PUBLISHER = {Springer},
YEAR = {2023},
MARGINALMARK = {$\bullet$},
DATE = {2023},
BOOKTITLE = {Automated Deductions -- CADE 29},
EDITOR = {Pientka, Brigitte and Tinelli, Cesare},
PAGES = {207--219},
SERIES = {Lecture Notes in Artificial Intelligence},
VOLUME = {14132},
ADDRESS = {Rome, Italy},
}