Using Constraint Metaknowledge to Reduce Arc Consistency Computation

Christian Bessière, Eugene C. Freuder, Jean-Charles Régin. Using Constraint Metaknowledge to Reduce Arc Consistency Computation. Artificial Intelligence, 107(1):125-148, 1999. [doi]

Abstract

Abstract is missing.