External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

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.

Encoding Basic Arithmetic Operations for SAT-Solvers

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]

Authors

Ramón Béjar

This author has not been identified. Look up 'Ramón Béjar' in Google

Cèsar Fernández

This author has not been identified. Look up 'Cèsar Fernández' in Google

Francesc Guitart

This author has not been identified. Look up 'Francesc Guitart' in Google
runs on