A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints

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

Ignasi Abı́o, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints
19th International Conference on Principles and Practice of Constraint Programming, CP'13, 2013

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@inproceedings{ parametricCardinalityConstraint,
  author = {Ignasi {Ab{\'\i}o} and Robert {Nieuwenhuis} and Albert {Oliveras} and Enric {Rodr\'{\i}guez-Carbonell}},
  booktitle = {19th International Conference on Principles and Practice of Constraint Programming},
  series = {CP'13},
  title = {{A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints}},
  year = {2013},
}