WVPub153: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Tobias Philipp (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
Zeile 7: | Zeile 7: | ||
|Referiert=1 | |Referiert=1 | ||
|Title=A More Compact Translation of Pseudo-Boolean Constraints into CNF such that Generalized Arc Consistency is Maintained | |Title=A More Compact Translation of Pseudo-Boolean Constraints into CNF such that Generalized Arc Consistency is Maintained | ||
|To appear=0 | |||
|Year=2014 | |Year=2014 | ||
|Booktitle=KI 2014: Advances in Artificial Intelligence | |Booktitle=KI 2014: Advances in Artificial Intelligence | ||
|Pages=123-134 | |Pages=123-134 | ||
|Publisher=Springer | |Publisher=Springer | ||
|Editor=Carsten Lutz and Michael Tielscher | |||
|Series=Lecture Notes in Computer Science | |Series=Lecture Notes in Computer Science | ||
|Volume=8736 | |Volume=8736 | ||
| | |Organization= | ||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
| | |Bild=Ki2014.jpg | ||
|Forschungsgruppe=Wissensverarbeitung | |Forschungsgruppe=Wissensverarbeitung | ||
}} | }} |
Version vom 11. Juni 2015, 14:19 Uhr
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
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
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@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}
}