A Compact Encoding of Pseudo-Boolean Constraints into SAT
Aus International Center for Computational Logic
A Compact Encoding of Pseudo-Boolean Constraints into SAT
Norbert MantheyNorbert Manthey
Norbert Manthey
A Compact Encoding of Pseudo-Boolean Constraints into SAT
KI 2012, Saarbrücken, Germany, September 2012
A Compact Encoding of Pseudo-Boolean Constraints into SAT
KI 2012, Saarbrücken, Germany, September 2012
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@misc{M2012,
author = {Norbert Manthey},
title = {A Compact Encoding of Pseudo-Boolean Constraints into {SAT}},
year = {2012},
month = {September}
}
