author : Olga Ohrimenko
1
publication
Propagation via lazy clause generation (Constraints, 2009) — Olga Ohrimenko, Peter J. Stuckey, Michael Codish Propagation via lazy clause generation (Constraints, 2009) — Olga Ohrimenko, Peter J. Stuckey, Michael Codish