Felip
Manyà Serres
Publicaciones en las que colabora con Felip Manyà Serres (16)
2012
-
Optimizing energy consumption in automated vacuum waste collection systems
Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI
-
The Automated Vacuum Waste Collection Optimization Problem
Proceedings of the 26th AAAI Conference on Artificial Intelligence, AAAI 2012
-
The automated vacuum waste collection optimization problem
Proceedings of the National Conference on Artificial Intelligence
2009
-
Generating hard instances for MaxSAT
Proceedings of The International Symposium on Multiple-Valued Logic
2007
-
Regular-SAT: A many-valued approach to solving combinatorial problems
Discrete Applied Mathematics, Vol. 155, Núm. 12, pp. 1613-1626
2004
-
The interface between P and NP in signed CNF formulas
Proceedings of The International Symposium on Multiple-Valued Logic
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)
2001
-
A modular reduction of regular logic to classical logic
Proceedings of The International Symposium on Multiple-Valued Logic, pp. 221-225
-
Capturing structure with satisfiability
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
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
-
Solving the Round Robin Problem Using Propositional Logic
Proceedings of the 17th National Conference on Artificial Intelligence and 12th Conference on Innovative Applications of Artificial Intelligence, AAAI 2000
1999
-
A comparison of systematic and local search algorithms for regular CNF formulas
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Phase transitions in the regular random 3-SAT problem
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Solving combinatorial problems with regular local search algorithms
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)