The SAT Solver Framework priss (System Description)

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

„jun“ befindet sich nicht in der Liste (Januar, Februar, März, April, Mai, Juni, Juli, August, September, Oktober, ...) zulässiger Werte für das Attribut „Month“.

Toggle side column

The SAT Solver Framework priss (System Description)

Norbert MantheyNorbert Manthey,  Robert StelzmannRobert Stelzmann
The SAT Solver Framework priss (System Description)


Norbert Manthey, Robert Stelzmann
The SAT Solver Framework priss (System Description)
Pragmatics of SAT 2012(POS'12),  2012
@inproceedings{MS2012,
  author    = {Norbert Manthey and Robert Stelzmann},
  title     = {The {SAT} Solver Framework priss (System Description)},
  booktitle = {Pragmatics of {SAT} 2012(POS'12)},
  year      = {2012}
}