Una introducción a los algoritmos de satisfactibilidad

Loading...
Thumbnail Image
Date
2003
Authors
Ansótegui Gil, Carlos JoséAnsótegui Gil, Carlos José - ORCID ID
Manyà Serres, Felip
Other authors
Impact
Export
Share
Journal Title
Journal ISSN
Volume Title
Related resource
Citation
DOI
Journal or Serie
Inteligencia artificial: revista iberoamericana de inteligencia artificial, 2003, vol.7, núm.20, p.43-56