Felip
Manyà Serres
Publikationen, an denen er mitarbeitet Felip Manyà Serres (14)
2015
-
Approximate dynamic programming for automated vacuum waste collection systems
Environmental Modelling and Software, Vol. 67, pp. 128-137
2014
-
Modeling energy consumption in automated vacuum waste collection systems
Environmental Modelling and Software, Vol. 56, pp. 63-73
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
2011
-
Preface: Artificial intelligence research and development
Frontiers in Artificial Intelligence and Applications
2007
-
Regular-SAT: A many-valued approach to solving combinatorial problems
Discrete Applied Mathematics, Vol. 155, Núm. 12, pp. 1613-1626
2004
-
Modeling choices in quasigroup completion: SAT vs. CSP
Proceedings of the National Conference on Artificial Intelligence
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
-
Capturing structure with satisfiability
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Extending the reach of SAT with many-valued logics
Electronic Notes in Discrete Mathematics, Vol. 9, pp. 392-407
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