Nogood Recording for Static and Dynamic Constraint Satisfaction Problems

Thomas Schiex, Gérard Verfaillie. Nogood Recording for Static and Dynamic Constraint Satisfaction Problems. International Journal on Artificial Intelligence Tools, 3(2):187-208, 1994. [doi]

Abstract

Abstract is missing.