Conference Proceedings

Maintaining state in propagation solvers

RM Reischuk, C Schulte, PJ Stuckey, G Tack

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | Published : 2009