Original language | English |
---|---|
Pages (from-to) | 434 - 462 |
Number of pages | 29 |
Journal | Constraints |
Volume | 19 |
Issue number | 4 |
DOIs | |
Publication status | Published - 2014 |
Symmetries, almost symmetries, and lazy clause generation
Geoffrey Chu, Maria Jose Garcia De La Banda, Christopher David Mears, Peter James Stuckey
Research output: Contribution to journal › Article › Research › peer-review
15
Citations
(Scopus)