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

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

„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).
Toggle side column

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

Norbert MantheyNorbert Manthey,  Peter SteinkePeter Steinke
npSolver - a SAT based Solver for Optimization Problems (System Description)


Norbert Manthey, Peter Steinke
npSolver - a SAT based Solver for Optimization Problems (System Description)
Pragmatics of SAT 2012(POS'12),  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).
@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}
}
„jun“ gehört nicht zu den möglichen Werten dieses Attributs (Januar, Februar, März, April, Mai, Juni, Juli, August, September, Oktober, November, Dezember).