A Compact Encoding of Pseudo-Boolean Constraints into SAT
Aus International Center for Computational Logic
A Compact Encoding of Pseudo-Boolean Constraints into SAT
Steffen HölldoblerSteffen Hölldobler, Norbert MantheyNorbert Manthey, Peter SteinkePeter Steinke
Steffen Hölldobler, Norbert Manthey, Peter Steinke
A Compact Encoding of Pseudo-Boolean Constraints into SAT
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2012
A Compact Encoding of Pseudo-Boolean Constraints into SAT
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2012
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@techreport{HMS2012,
author = {Steffen H{\"{o}}lldobler and Norbert Manthey and Peter Steinke},
title = {A Compact Encoding of Pseudo-Boolean Constraints into {SAT}},
institution = {TU Dresden, Knowledge Representation and Reasoning},
year = {2012}
}
