Review
Open access
Jul 2026
Lazy clause generation in retrospect
This review considers how LCG has been refined and expanded over the years since its invention, and how it is used in all most performant CP solvers.
O. Ohrimenko, Peter James Stuckey, M. Codish
· Constraints · 0 citations