A More Pragmatic CDCL for IsaSAT and Targetting LLVM (Short Paper).

Mathias Fleury, Peter Lammich

Browse the full CADE paper archive.