MallobSat: Scalable SAT Solving by Clause Sharing
Schreiber, Dominik
1; Sanders, Peter
1
1 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)
1; Sanders, Peter
11 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)
| Zugehörige Institution(en) am KIT | Institut für Theoretische Informatik (ITI) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 2024 |
| Sprache | Englisch |
| Identifikator | ISSN: 1076-9757 KITopen-ID: 1000176672 |
| Erschienen in | Journal of Artificial Intelligence Research |
| Verlag | AI Access Foundation |
| Band | 80 |
| Seiten | 1437–1495 |
| Vorab online veröffentlicht am | 18.08.2024 |
| Nachgewiesen in | Scopus Dimensions |