Publicaciones en las que colabora con Felip Manyà Serres (9)

2008

  1. An efficient solver for weighted Max-SAT

    Journal of Global Optimization, Vol. 41, Núm. 1, pp. 61-73

2005

  1. Improved exact solvers for weighted Max-SAT

    Lecture Notes in Computer Science

2004

  1. A Max-SAT solver with lazy data structures

    Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

2003

  1. Automated monitoring of medical protocols: A secure and distributed architecture

    Artificial Intelligence in Medicine, Vol. 27, Núm. 3, pp. 367-392

2002

  1. Minimal and redundant SAT encodings for the all-interval-series problem

    Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

2000

  1. Multi-agent system architecture for monitoring medical protocols

    Proceedings of the International Conference on Autonomous Agents

  2. On-line dictionary of logic: system description

    First International Congress on Tools for Teaching Logic: proceedings : University of Salamanca, June 2000

1996

  1. A Declarative Programming Environment for Infinitely-Valued Logics

    Sixth International Conference IPMU : Information Processing and Management of Uncertainty in Knowledge-Based Systems: Proceedings, july 1-5, Granada, España

1995

  1. A multiple-valued logic programming system: definition and implementation

    VI Conferencia de la Asociación Española para la Inteligencia Artificial CAEPIA 95: actas. Alicante, 15, 16 y 17 de noviembre de 1995