Felip
Manyà Serres
Publicaciones en las que colabora con Felip Manyà Serres (9)
2008
-
An efficient solver for weighted Max-SAT
Journal of Global Optimization, Vol. 41, Núm. 1, pp. 61-73
2005
-
Improved exact solvers for weighted Max-SAT
Lecture Notes in Computer Science
2004
-
A Max-SAT solver with lazy data structures
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
2003
-
Automated monitoring of medical protocols: A secure and distributed architecture
Artificial Intelligence in Medicine, Vol. 27, Núm. 3, pp. 367-392
2002
-
Minimal and redundant SAT encodings for the all-interval-series problem
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
2000
-
Multi-agent system architecture for monitoring medical protocols
Proceedings of the International Conference on Autonomous Agents
-
On-line dictionary of logic: system description
First International Congress on Tools for Teaching Logic: proceedings : University of Salamanca, June 2000
1996
-
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
-
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