„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“.

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