Conference Proceedings

Propagation=lazy clause generation

Olga Ohrimenko, Peter J Stuckey, Michael Codish, C Bessiere

Principles and Practice of Constraint Programming - CP 2007 | SPRINGER-VERLAG BERLIN | Published : 2007

Citation metrics

19Web of Science
25Scopus

Keywords

Technology
Csp
Computer Science, Theory & Methods
Computer Science
Science & Technology