npSolver - a SAT based Solver for Optimization Problems

From International Center for Computational Logic
Toggle side column

npSolver - a SAT based Solver for Optimization Problems

Norbert MantheyNorbert Manthey
npSolver - a SAT based Solver for Optimization Problems


Norbert Manthey
npSolver - a SAT based Solver for Optimization Problems
Pragmatics of SAT 2012, Trento, Italy, June 2012
@misc{M2012,
  author = {Norbert Manthey},
  title  = {npSolver - a {SAT} based Solver for Optimization Problems},
  year   = {2012},
  month  = {June}
}