npSolver - a SAT based Solver for Optimization Problems
From International Center for Computational Logic
npSolver - a SAT based Solver for Optimization Problems
Norbert MantheyNorbert Manthey
![npSolver - a SAT based Solver for Optimization Problems npSolver - a SAT based Solver for Optimization Problems](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Norbert Manthey
npSolver - a SAT based Solver for Optimization Problems
Pragmatics of SAT 2012, Trento, Italy, June 2012
npSolver - a SAT based Solver for Optimization Problems
Pragmatics of SAT 2012, Trento, Italy, June 2012
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@misc{M2012,
author = {Norbert Manthey},
title = {npSolver - a {SAT} based Solver for Optimization Problems},
year = {2012},
month = {June}
}