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

von Fleury, Mathias
Veröffentlicht in International Conference on Automated Deduction (29. : 2023 : Rom) Automated deduction - CADE 29 (2023)

Efficient AIl-UIP Learned Clause Minimization

von Fleury, Mathias
Veröffentlicht in SAT (24. : 2021 : Barcelona) Theory and Applications of Satisfiability Testing - SAT 2021 (2021)

Distributed Cube and Conquer with Paracooba

von Heisinger, Maximilian
Veröffentlicht in SAT (23. : 2020 : Online) Theory and applications of satisfiability testing - SAT 2020 (2020)

Reliable Reconstruction of Fine-grained Proofs in a Proof Assistant

von Schurr, Hans-Jörg
Veröffentlicht in CADE (28. : 2021 : Online) Automated Deduction - CADE 28 (2021)