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

2015

  1. Approximate dynamic programming for automated vacuum waste collection systems

    Environmental Modelling and Software, Vol. 67, pp. 128-137

2014

  1. Modeling energy consumption in automated vacuum waste collection systems

    Environmental Modelling and Software, Vol. 56, pp. 63-73

2012

  1. Optimizing energy consumption in automated vacuum waste collection systems

    Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

  2. The Automated Vacuum Waste Collection Optimization Problem

    Proceedings of the 26th AAAI Conference on Artificial Intelligence, AAAI 2012

  3. The automated vacuum waste collection optimization problem

    Proceedings of the National Conference on Artificial Intelligence

2011

  1. Preface: Artificial intelligence research and development

    Frontiers in Artificial Intelligence and Applications

2007

  1. Regular-SAT: A many-valued approach to solving combinatorial problems

    Discrete Applied Mathematics, Vol. 155, Núm. 12, pp. 1613-1626

2004

  1. Modeling choices in quasigroup completion: SAT vs. CSP

    Proceedings of the National Conference on Artificial Intelligence

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)

2001

  1. Capturing structure with satisfiability

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Extending the reach of SAT with many-valued logics

    Electronic Notes in Discrete Mathematics, Vol. 9, pp. 392-407

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