Lazy clause generation: combining the power of SAT and CP (and MIP?) solving (Q3569913)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 5724345
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Lazy clause generation: combining the power of SAT and CP (and MIP?) solving |
scientific article; zbMATH DE number 5724345 |
Statements
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving (English)
0 references
22 June 2010
0 references
0.8246017694473267
0 references
0.8078089356422424
0 references
0.7777557373046875
0 references
0.7740026116371155
0 references
0.7652295827865601
0 references
