The SAT Solver Framework priss (System Description)

„jun“ gehört nicht zu den möglichen Werten dieses Attributs (Januar, Februar, März, April, Mai, Juni, Juli, August, September, Oktober, November, Dezember).

„jun“ gehört nicht zu den möglichen Werten dieses Attributs (Januar, Februar, März, April, Mai, Juni, Juli, August, September, Oktober, November, Dezember).

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: Wissensverarbeitung

„jun“ gehört nicht zu den möglichen Werten dieses Attributs (Januar, Februar, März, April, Mai, Juni, Juli, August, September, Oktober, November, Dezember).

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

„jun“ gehört nicht zu den möglichen Werten dieses Attributs (Januar, Februar, März, April, Mai, Juni, Juli, August, September, Oktober, November, Dezember).