FIDO: Finite Domain Consistency Techniques in Logic Programming.

Manfred Meyer, Hans-Gnther Hein, Jrg P. Mller

Browse the full LPAR paper archive.