Biere, A., Faller, T., Fazekas, K., Fleury, M., Froleyks, N., & Pollitt, F. (2024). CaDiCaL 2.0. In Computer Aided Verification (pp. 133–152). Springer. https://doi.org/10.1007/978-3-031-65627-9_7
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
Published in:
Computer Aided Verification
-
Volume:
14682
-
Date (published):
2024
-
Event name:
36th International Conference on Computer Aided Verification (CAV 2024)
en
Event date:
24-Jul-2024 - 27-Jul-2024
-
Event place:
Montreal, Canada
-
Number of Pages:
20
-
Publisher:
Springer
-
Peer reviewed:
Yes
-
Keywords:
SAT; Incremental SAT Solving; Propositional Proofs
en
Abstract:
The SAT solver CaDiCaL provides a rich feature set with a clean library interface. It has been adopted by many users, is well documented and easy to extend due to its effective testing and debugging infrastructure. In this tool paper we give a high-level introduction into the solver architecture and then go briefly over implemented techniques. We describe basic features and novel advanced usage scenarios. Experiments confirm that CaDiCaL despite this flexibility has state-of-the-art performance both in a stand-alone as well as incremental setting.
en
Project title:
Inkrementelles SAT und SMT für skalierbare Verifikation: T 1306-N (FWF - Österr. Wissenschaftsfonds)
-
Research Areas:
Logic and Computation: 20% Computer Engineering and Software-Intensive Systems: 80%
