FIDO: Finite Domain Consistency Techniques in Logic Programming

Manfred Meyer, Hans-Günther Hein, Jörg P. Müller. FIDO: Finite Domain Consistency Techniques in Logic Programming. In Andrei Voronkov, editor, Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991, Proceedings. Volume 592 of Lecture Notes in Computer Science, pages 294-301, Springer, 1991.

Abstract

Abstract is missing.