LATPub548

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

To Encode or to Propagate? The Best Choice for Each Constraint in SAT

Ignasi Abı́oIgnasi Abı́o,  Robert NieuwenhuisRobert Nieuwenhuis,  Albert OliverasAlbert Oliveras,  Enric Rodríguez-CarbonellEnric Rodríguez-Carbonell,  Peter J. StuckeyPeter J. Stuckey

Ignasi Abı́o, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Peter J. Stuckey
To Encode or to Propagate? The Best Choice for Each Constraint in SAT
19th International Conference on Principles and Practice of Constraint Programming, CP'13, 2013

• Details
• Bibtex

• Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ encodeOrPropagate,
  author = {Ignasi {Ab{\'\i}o} and Robert {Nieuwenhuis} and Albert {Oliveras} and Enric {Rodr\'{\i}guez-Carbonell} and Peter J. {Stuckey}},
  booktitle = {19th International Conference on Principles and Practice of Constraint Programming},
  series = {CP'13},
  title = {{To Encode or to Propagate? The Best Choice for Each Constraint in SAT}},
  year = {2013},
}