Felip Manyà Serres

• Artículos de revistas (3)
• Colaboraciones en obras colectivas (5)
• Tesis (1)
• Tesis dirigidas (6)

• Artículos de revistas

  • Seleccionado

    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

    • Resumen
    • Texto completo
    
  • Seleccionado

    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

    • Resumen
    • Texto completo
    
  • Seleccionado

    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

    

• Colaboraciones en obras colectivas

  • Seleccionado

    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

    
  • Seleccionado

    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

    • Resumen
    
  • Seleccionado

    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

    
  • Seleccionado

    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

    
  • Seleccionado

    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

    

• Tesis

  • Seleccionado

    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).

    • Resumen
    

• Tesis dirigidas

  • Seleccionado

    New Solving Techniques for Maximum and Minimum Satisfiability

    Juan Ramón Soler Cabrejas

    Tesis doctoral dirigida por Felip Manyà Serres (dir. tes.). Universitat Autònoma de Barcelona (2021).

    • Resumen
    • Tesis en acceso abierto en: TDX
    
  • Seleccionado

    Encodings and Benchmarks for MaxSAT Solving

    María Alba Cabiscol Teixidó

    Tesis doctoral dirigida por Ramón Béjar Torres (dir. tes.) , Felip Manyà Serres (dir. tes.). Universitat de Lleida (2012).

    • Resumen
    • Tesis en acceso abierto en: TDX
    
  • Seleccionado

    Max-SAT formalisms with hard and soft constraints

    Josep Argelich Roma

    Tesis doctoral dirigida por Felip Manyà Serres (dir. tes.). Universitat de Lleida (2008).

    • Resumen
    
  • Seleccionado

    Design and implementation of exact max-sat solvers

    Jordi Planes Cid

    Tesis doctoral dirigida por Felip Manyà Serres (dir. tes.), Min Li Chu (dir. tes.) . Universitat de Lleida (2007).

    • Resumen
    
  • Seleccionado

    Complete sat solvers for many-valued cnf formulas

    Carlos Ansótegui Gil

    Tesis doctoral dirigida por Felip Manyà Serres (dir. tes.). Universitat de Lleida (2004).

    • Resumen
    
  • Seleccionado

    Systematic and local search algorithms for regular-SAT

    Ramón Béjar Torres

    Tesis doctoral dirigida por Felip Manyà Serres (dir. tes.), Xavier Binefa i Valls (dir. tes.) . Universitat Autònoma de Barcelona (2001).

    • Resumen
    • Tesis en acceso abierto en: TDX
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. 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.