ConfidenceSat: A Parallel SAT Solver with Conflict Clause Handling
Schmitz K, Keszocze O, Tietjen J, Drechsler R (2018)
Publication Type: Conference contribution, Conference Contribution
Publication year: 2018
Event location: Bremen
Authors with CRIS profile
Involved external institutions
Universität Bremen
Germany (DE)
Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI) GmbH
Germany (DE)
Germany (DE)
Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI) GmbH
Germany (DE)
How to cite
APA:
Schmitz, K., Keszocze, O., Tietjen, J., & Drechsler, R. (2018). ConfidenceSat: A Parallel SAT Solver with Conflict Clause Handling. In Proceedings of the International Workshop on Boolean Problems. Bremen, DE.
MLA:
Schmitz, Kenneth, et al. "ConfidenceSat: A Parallel SAT Solver with Conflict Clause Handling." Proceedings of the International Workshop on Boolean Problems, Bremen 2018.
BibTeX: Download