WVPub153: Unterschied zwischen den Versionen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
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
|Month=
|Booktitle=KI 2014: Advances in Artificial Intelligence
|Booktitle=KI 2014: Advances in Artificial Intelligence
|Editor=Carsten Lutz and Michael Tielscher
|Note=
|Organization=
|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
|To appear=0
|Organization=
}}
}}
{{Publikation Details
{{Publikation Details
|Abstract=
|Bild=Ki2014.jpg
|ISBN=
|ISSN=
|Link=
|Download=
|Slides=
|DOI Name=
|Projekt=
|Forschungsgruppe=Wissensverarbeitung
|Forschungsgruppe=Wissensverarbeitung
|BibTex=
}}
}}

Version vom 11. Juni 2015, 14:19 Uhr

Toggle side column

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
A More Compact Translation of Pseudo-Boolean Constraints into CNF such that Generalized Arc Consistency is Maintained


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
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}
}