%0 Conference Paper %1 conf/cp/NightingaleSM15 %A Nightingale, Peter %A Spracklen, Patrick %A Miguel, Ian %B CP %D 2015 %E Pesant, Gilles %I Springer %K dblp %P 330-340 %T Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row. %U http://dblp.uni-trier.de/db/conf/cp/cp2015.html#NightingaleSM15 %V 9255 %@ 978-3-319-23218-8

@inproceedings{conf/cp/NightingaleSM15, added-at = {2017-09-16T00:00:00.000+0200}, author = {Nightingale, Peter and Spracklen, Patrick and Miguel, Ian}, biburl = {https://www.bibsonomy.org/bibtex/2ee278634bd396a0a29d2ecf4758a1909/dblp}, booktitle = {CP}, crossref = {conf/cp/2015}, editor = {Pesant, Gilles}, ee = {https://doi.org/10.1007/978-3-319-23219-5_23}, interhash = {2d76ea0bc3c77e03d07be2e3126f45e5}, intrahash = {ee278634bd396a0a29d2ecf4758a1909}, isbn = {978-3-319-23218-8}, keywords = {dblp}, pages = {330-340}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:20:12.000+0200}, title = {Automatically Improving SAT Encoding of Constraint Problems Through Common Subexpression Elimination in Savile Row.}, url = {http://dblp.uni-trier.de/db/conf/cp/cp2015.html#NightingaleSM15}, volume = 9255, year = 2015 }