Non-viability Deductions in Arc-Consistency Computation.

Camilo Rueda, Frank D. Valencia

Browse the full ICLP paper archive.