A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

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
A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints


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