%0 Conference Paper %1 conf/cp/AbioNOR13 %A Abío, Ignasi %A Nieuwenhuis, Robert %A Oliveras, Albert %A Rodríguez-Carbonell, Enric %B CP %D 2013 %E Schulte, Christian %I Springer %K dblp %P 80-96 %T A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints. %U http://dblp.uni-trier.de/db/conf/cp/cp2013.html#AbioNOR13 %V 8124 %@ 978-3-642-40626-3

@inproceedings{conf/cp/AbioNOR13, added-at = {2022-01-03T00:00:00.000+0100}, author = {Abío, Ignasi and Nieuwenhuis, Robert and Oliveras, Albert and Rodríguez-Carbonell, Enric}, biburl = {https://www.bibsonomy.org/bibtex/2f217b0b37302d8fb16a8bd52669b67a0/dblp}, booktitle = {CP}, crossref = {conf/cp/2013}, editor = {Schulte, Christian}, ee = {https://doi.org/10.1007/978-3-642-40627-0_9}, interhash = {98baa88e4ba31d65645550077aa719dc}, intrahash = {f217b0b37302d8fb16a8bd52669b67a0}, isbn = {978-3-642-40626-3}, keywords = {dblp}, pages = {80-96}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T14:20:55.000+0200}, title = {A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2013.html#AbioNOR13}, volume = 8124, year = 2013 }