The SAT Solver Framework priss (System Description)

"jun" is not in the list (Januar, Februar, März, April, Mai, Juni, Juli, August, September, Oktober, ...) of allowed values for the "Month" property.

PublikationenPublications

• Nach AutorBy Author
  • Norbert MantheyNorbert Manthey
• Nach ForschungsgruppeBy Research Group
  • WissensverarbeitungKnowledge Representation and Reasoning

Toggle side column

The SAT Solver Framework priss (System Description)

Norbert MantheyNorbert Manthey,  Robert StelzmannRobert Stelzmann

Norbert Manthey, Robert Stelzmann
The SAT Solver Framework priss (System Description)
Pragmatics of SAT 2012(POS'12),  2012

• Details
• Bibtex

• Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@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}
}