Riss 6 solver and derivatives

Publikation: Beitrag in FachzeitschriftKonferenzartikelBeigetragen

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

OriginalspracheEnglisch
Seiten (von - bis)56-57
Seitenumfang2
FachzeitschriftSAT COMPETITION
PublikationsstatusVeröffentlicht - 2016
Peer-Review-StatusNein

Schlagworte

Schlagwörter

  • SAT Solvers