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