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