To access the full text documents, please follow this link: http://hdl.handle.net/10459.1/47674

Una introducción a los algoritmos de satisfactibilidad
Ansótegui Gil, Carlos José; Manyà Serres, Felip
2003
Algorismes
(c) Asociación Española para la Inteligencia Artificial (AEPIA), 2003
article
Asociación Española para la Inteligencia Artificial (AEPIA)
         

Full text files in this document

Files Size Format View
011182.pdf 161.4 KB application/pdf View/Open

Show full item record

Related documents

Other documents of the same author

 

Coordination

 

Supporters