Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Peter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Patrick Spracklen. Automatically improving constraint models in Savile Row. Artificial Intelligence, 251:35-61, 2017. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression EliminationPeter Nightingale, Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel. cp 2014: 590-605 [doi] Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile RowPeter Nightingale, Patrick Spracklen, Ian Miguel. cp 2015: 330-340 [doi]
The following publications are possibly variants of this publication: