Carlos Ansótegui, Felip Manyà. Una introducción a los algoritmos de satisfactibilidad. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, 20:43-56, 2003. [doi]
@article{AnsoteguiM03, title = {Una introducción a los algoritmos de satisfactibilidad}, author = {Carlos Ansótegui and Felip Manyà}, year = {2003}, url = {http://tornado.dia.fi.upm.es/caepia/numeros/20/Ansotegui.pdf}, researchr = {https://researchr.org/publication/AnsoteguiM03}, cites = {0}, citedby = {0}, journal = {Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial}, volume = {20}, pages = {43-56}, }