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
-
Erschienen in:
Computer Aided Verification
-
Band:
14682
-
Datum (veröffentlicht):
2024
-
Veranstaltungsname:
36th International Conference on Computer Aided Verification (CAV 2024)
en
Veranstaltungszeitraum:
24-Jul-2024 - 27-Jul-2024
-
Veranstaltungsort:
Montreal, Kanada
-
Umfang:
20
-
Verlag:
Springer
-
Peer Reviewed:
Ja
-
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
Projekttitel:
Inkrementelles SAT und SMT für skalierbare Verifikation: T 1306-N (FWF - Österr. Wissenschaftsfonds)
-
Forschungsschwerpunkte:
Logic and Computation: 20% Computer Engineering and Software-Intensive Systems: 80%
