<div class="csl-bib-body">
<div class="csl-entry">Biere, A., Faller, T., Fazekas, K., Fleury, M., Froleyks, N., & Pollitt, F. (2024). CaDiCaL 2.0. In <i>Computer Aided Verification</i> (pp. 133–152). Springer. https://doi.org/10.1007/978-3-031-65627-9_7</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/210752
-
dc.description.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
dc.description.sponsorship
FWF - Österr. Wissenschaftsfonds
-
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.subject
SAT
en
dc.subject
Incremental SAT Solving
en
dc.subject
Propositional Proofs
en
dc.title
CaDiCaL 2.0
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.contributor.affiliation
University of Freiburg, Germany
-
dc.contributor.affiliation
University of Freiburg, Germany
-
dc.contributor.affiliation
University of Freiburg, Germany
-
dc.contributor.affiliation
Johannes Kepler University of Linz, Austria
-
dc.contributor.affiliation
University of Freiburg, Germany
-
dc.relation.issn
0302-9743
-
dc.description.startpage
133
-
dc.description.endpage
152
-
dc.relation.grantno
T 1306-N
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
tuw.booktitle
Computer Aided Verification
-
tuw.container.volume
14682
-
tuw.peerreviewed
true
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.relation.publisher
Springer
-
tuw.project.title
Inkrementelles SAT und SMT für skalierbare Verifikation
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.id
I2
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.name
Computer Engineering and Software-Intensive Systems
-
tuw.researchTopic.value
20
-
tuw.researchTopic.value
80
-
tuw.publication.orgunit
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
tuw.publisher.doi
10.1007/978-3-031-65627-9_7
-
dc.description.numberOfPages
20
-
tuw.author.orcid
0000-0001-7170-9242
-
tuw.author.orcid
0000-0002-0864-077X
-
tuw.author.orcid
0000-0002-0497-3059
-
tuw.author.orcid
0000-0002-1705-3083
-
tuw.author.orcid
0000-0003-3925-3438
-
tuw.author.orcid
0009-0001-4337-6919
-
tuw.event.name
36th International Conference on Computer Aided Verification (CAV 2024)
en
tuw.event.startdate
24-07-2024
-
tuw.event.enddate
27-07-2024
-
tuw.event.online
Hybrid
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Montreal
-
tuw.event.country
CA
-
tuw.event.institution
Concordia University
-
tuw.event.presenter
Biere, Armin
-
tuw.event.track
Single Track
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
80
-
wb.sciencebranch.value
20
-
item.cerifentitytype
Publications
-
item.languageiso639-1
en
-
item.fulltext
no Fulltext
-
item.openairetype
conference paper
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.grantfulltext
none
-
crisitem.project.funder
FWF - Österr. Wissenschaftsfonds
-
crisitem.project.grantno
T 1306-N
-
crisitem.author.dept
University of Freiburg
-
crisitem.author.dept
University of Freiburg
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
