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

DOI: 10.1007/978-3-642-04244-7_54

Citation metrics

4Scopus

Keywords

Computer Software Not Elsewhere Classified; Computer Software and Services Not Elsewhere Classified