2024
DOI: 10.1007/978-3-031-65627-9_7
|View full text |Cite
|
Sign up to set email alerts
|

CaDiCaL 2.0

Armin Biere,
Tobias Faller,
Katalin Fazekas
et al.

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… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Year Published

2024
2024
2024
2024

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
references
References 87 publications
0
0
0
Order By: Relevance