Camilo Rueda, Frank D. Valencia
Non-viability Deductions in Arc-Consistency Computation
ICLP, 2004.
@inproceedings{ICLP-2004-RuedaV, author = "Camilo Rueda and Frank D. Valencia", booktitle = "{Proceedings of the 20th International Conference on Logic Programming}", doi = "10.1007/978-3-540-27775-0_24", isbn = "3-540-22671-0", pages = "343--355", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Non-viability Deductions in Arc-Consistency Computation}", volume = 3132, year = 2004, }