Searching for "Propagation = Lazy Clause Generation." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
Propagation = lazy clause generation
- …Propagation = Lazy Clause Generation Olga Ohrimenko 1 , Peter J. Stuckey 1 , and Michael Codish 2…
- Cited by 3 (2 self) – Add To MetaCart
-
Propagation via Lazy Clause Generation ⋆
- …Propagation via Lazy Clause Generation ⋆ Olga Ohrimenko 1 , Peter J. Stuckey 1 , and Michael…
- Add To MetaCart
-
Modelling for Lazy Clause Generation
- …,pjs}@(email omitted); Abstract Lazy clause generation is a hybrid SAT and finite domain propagation solver that tries to combine…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 3.
