Ramón Béjar, Cèsar Fernández, Francesc Guitart. Encoding Basic Arithmetic Operations for SAT-Solvers. In René Alquézar, Antonio Moreno, Josep Aguilar-Martin, editors, Artificial Intelligence Research and Development - Proceedings of the 13th International Conference of the Catalan Association for Artificial Intelligence, l Espluga de Francolí, Tarragona, Spain, 20-22 October 2010. Volume 210 of Frontiers in Artificial Intelligence and Applications, pages 239-248, IOS Press, 2010. [doi]
@inproceedings{BejarFG10,
title = {Encoding Basic Arithmetic Operations for SAT-Solvers},
author = {Ramón Béjar and Cèsar Fernández and Francesc Guitart},
year = {2010},
doi = {10.3233/978-1-60750-642-3-239},
url = {http://dx.doi.org/10.3233/978-1-60750-642-3-239},
researchr = {https://researchr.org/publication/BejarFG10},
cites = {0},
citedby = {0},
pages = {239-248},
booktitle = {Artificial Intelligence Research and Development - Proceedings of the 13th International Conference of the Catalan Association for Artificial Intelligence, l Espluga de Francolí, Tarragona, Spain, 20-22 October 2010},
editor = {René Alquézar and Antonio Moreno and Josep Aguilar-Martin},
volume = {210},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-60750-642-3},
}