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