Pavel Surynek. An Alternative Eager Encoding of the All-Different Constraint over Bit-Vectors. In Luc De Raedt, Christian Bessière, Didier Dubois, Patrick Doherty, Paolo Frasconi, Fredrik Heintz, Peter J. F. Lucas, editors, ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012. Volume 242 of Frontiers in Artificial Intelligence and Applications, pages 927-928, IOS Press, 2012. [doi]
@inproceedings{Surynek12-3, title = {An Alternative Eager Encoding of the All-Different Constraint over Bit-Vectors}, author = {Pavel Surynek}, year = {2012}, doi = {10.3233/978-1-61499-098-7-927}, url = {http://dx.doi.org/10.3233/978-1-61499-098-7-927}, researchr = {https://researchr.org/publication/Surynek12-3}, cites = {0}, citedby = {0}, pages = {927-928}, booktitle = {ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012}, editor = {Luc De Raedt and Christian Bessière and Didier Dubois and Patrick Doherty and Paolo Frasconi and Fredrik Heintz and Peter J. F. Lucas}, volume = {242}, series = {Frontiers in Artificial Intelligence and Applications}, publisher = {IOS Press}, isbn = {978-1-61499-097-0}, }