A More Compact Translation of Pseudo-Boolean Constraints into CNF such that Generalized Arc Consistency is Maintained

Norbert MantheyNorbert Manthey, Tobias PhilippTobias Philipp, Peter SteinkePeter Steinke

Norbert Manthey, Tobias Philipp, Peter Steinke
A More Compact Translation of Pseudo-Boolean Constraints into CNF such that Generalized Arc Consistency is Maintained
In Carsten Lutz and Michael Tielscher, eds., KI 2014: Advances in Artificial Intelligence, volume 8736 of Lecture Notes in Computer Science, 123-134, 2014. Springer

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

The final publication is available at Springer.

@inproceedings{MPS2014,
  author    = {Norbert Manthey and Tobias Philipp and Peter Steinke},
  title     = {A More Compact Translation of Pseudo-Boolean Constraints into
               {CNF} such that Generalized Arc Consistency is Maintained},
  editor    = {Carsten Lutz and Michael Tielscher},
  booktitle = {KI 2014: Advances in Artificial Intelligence},
  series    = {Lecture Notes in Computer Science},
  volume    = {8736},
  publisher = {Springer},
  year      = {2014},
  pages     = {123-134}
}