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

npSolver - a SAT based Solver for Optimization Problems (System Description)

Norbert MantheyNorbert Manthey, Peter SteinkePeter Steinke

Norbert Manthey, Peter Steinke
npSolver - a SAT based Solver for Optimization Problems (System Description)
Pragmatics of SAT 2012(POS'12), 2012

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

@inproceedings{MS2012,
  author    = {Norbert Manthey and Peter Steinke},
  title     = {npSolver - a {SAT} based Solver for Optimization Problems (System
               Description)},
  booktitle = {Pragmatics of {SAT} 2012(POS'12)},
  year      = {2012}
}