Forward Checking with Backmarking

Patrick Prosser. Forward Checking with Backmarking. In Manfred Meyer, editor, Constraint Processing, Selected Papers. Volume 923 of Lecture Notes in Computer Science, pages 185-204, Springer, 1995.

Abstract

Abstract is missing.