Non-viability Deductions in Arc-Consistency Computation

Camilo Rueda, Frank D. Valencia. Non-viability Deductions in Arc-Consistency Computation. In Bart Demoen, Vladimir Lifschitz, editors, Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings. Volume 3132 of Lecture Notes in Computer Science, pages 343-355, Springer, 2004. [doi]

Authors

Camilo Rueda

This author has not been identified. Look up 'Camilo Rueda' in Google

Frank D. Valencia

This author has not been identified. Look up 'Frank D. Valencia' in Google