InstitucionesÁrea de conocimientoPeriodo de publicación recogido
|
|
|
Una introducción a los algoritmos de satisfactibilidad
Carlos Ansótegui Gil, Felip Manyà Serres
Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial, ISSN-e 1988-3064, ISSN 1137-3601, Vol. 7, Nº. 20, 2003, págs. 43-56
Técnicas de resolución de problemas de satisfacción de restricciones
Felip Manyà Serres, Carla Gomes
Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial, ISSN-e 1988-3064, ISSN 1137-3601, Vol. 7, Nº. 19, 2003, págs. 169-180
Principios de programación lógica con información incierta: Descripción de algunos de los sistemas más relevantes
Alejandro Sobrino, Gonzalo Escalada Imaz, Felip Manyà Serres
Theoria: an international journal for theory, history and foundations of science, ISSN 0495-4548, Vol. 11, Nº 27, 1996, págs. 123-148
On-line dictionary of logic: system description
María Teresa Alsinet Bernadó, Ramón Béjar Torres, César Fernández Camón, Felip Manyà Serres
First International Congress on Tools for Teaching Logic: proceedings : University of Salamanca, June 2000 / María Gracia Manzano Arjona (comp.), 2000, págs. 5-7
A proof procedure for regular CNF-formulas
Felip Manyà Serres, Gonzalo Escalada Imaz
CAEPIA'97: actas / coord. por Asociación Española de Inteligencia Artificial, Vicente J. Botti Navarro, 1997, ISBN 84-8498-765-5, págs. 285-295
On multiple-valued logic programming
Gonzalo Escalada Imaz, Felip Manyà Serres
Estudios sobre programación lógica y sus aplicaciones / Verónica Dahl (ed. lit.), Alejandro Sobrino (ed. lit.), 1996, ISBN 84-8121-399-3, págs. 387-419
A Declarative Programming Environment for Infinitely-Valued Logics
María Teresa Alsinet Bernadó, Felip Manyà Serres
Sixth International Conference IPMU : Information Processing and Management of Uncertainty in Knowledge-Based Systems: Proceedings, july 1-5, Granada, España, Vol. 3, 1996, ISBN 8482540793, págs. 1205-1210
A multiple-valued logic programming system: definition and implementation
Ll. Jové, María Teresa Alsinet Bernadó, Felip Manyà Serres, J. Morillo
VI Conferencia de la Asociación Española para la Inteligencia Artificial CAEPIA 95: actas. Alicante, 15, 16 y 17 de noviembre de 1995, 1995, ISBN 84-920982-0-1, págs. 37-46
Proof procedures for multiple-valued propositional logics
Felip Manyà Serres
Tesis doctoral dirigida por Gonzalo Escalada Imaz (dir. tes.). Universitat Autònoma de Barcelona (1997).
New Solving Techniques for Maximum and Minimum Satisfiability
Tesis doctoral dirigida por Felip Manyà Serres (dir. tes.). Universitat Autònoma de Barcelona (2021).
Encodings and Benchmarks for MaxSAT Solving
Tesis doctoral dirigida por Ramón Béjar Torres (dir. tes.), Felip Manyà Serres (dir. tes.). Universitat de Lleida (2012).
Max-SAT formalisms with hard and soft constraints
Tesis doctoral dirigida por Felip Manyà Serres (dir. tes.). Universitat de Lleida (2008).
Design and implementation of exact max-sat solvers
Tesis doctoral dirigida por Felip Manyà Serres (dir. tes.), Min Li Chu (dir. tes.). Universitat de Lleida (2007).
Complete sat solvers for many-valued cnf formulas
Tesis doctoral dirigida por Felip Manyà Serres (dir. tes.). Universitat de Lleida (2004).
Systematic and local search algorithms for regular-SAT
Tesis doctoral dirigida por Felip Manyà Serres (dir. tes.), Xavier Binefa i Valls (dir. tes.). Universitat Autònoma de Barcelona (2001).
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados