Riss 6 solver and derivatives
Publikation: Beitrag in Fachzeitschrift › Konferenzartikel › Beigetragen
Beitragende
Abstract
The sequential SAT solver RISS combines the Minisat-style solving engine of GLUCOSE 2.2. with state-of-the-art preprocessor COPROCESSOR and adds many modifications to the search process. RISS allows to use inprocessing based on COPROCESSOR. Based on this RISS, we create a parallel portfolio solver PRISS, which allows clause sharing among the incarnations, as well as sharing information about equivalent literals.
Details
Originalsprache | Englisch |
---|---|
Seiten (von - bis) | 56-57 |
Seitenumfang | 2 |
Fachzeitschrift | SAT COMPETITION |
Publikationsstatus | Veröffentlicht - 2016 |
Peer-Review-Status | Nein |
Schlagworte
Schlagwörter
- SAT Solvers