BibTeX
@inproceedings{DBLP:conf/cp/Gavanelli07,
author = {Marco Gavanelli},
title = {The Log-Support Encoding of CSP into SAT},
booktitle = {CP},
year = {2007},
pages = {815-822},
ee = {http://dx.doi.org/10.1007/978-3-540-74970-7_59},
crossref = {DBLP:conf/cp/2007},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/cp/2007,
editor = {Christian Bessiere},
title = {Principles and Practice of Constraint Programming - CP 2007,
13th International Conference, CP 2007, Providence, RI,
USA, September 23-27, 2007, Proceedings},
booktitle = {CP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4741},
year = {2007},
isbn = {978-3-540-74969-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2007-10-19 by Michael Ley (ley@uni-trier.de)