Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row
Attributed to:
A Constraint Solver Synthesiser
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-23219-5_23
Publication URI: http://dx.doi.org/10.1007/978-3-319-23219-5_23
Type: Book Chapter
Book Title: Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings (2015)
Page Reference: 330-340
ISBN: 978-3-319-23218-8
ISSN: 2095-221X