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

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

2009

  1. Generating hard instances for MaxSAT

    Proceedings of The International Symposium on Multiple-Valued Logic

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. The interface between P and NP in signed CNF formulas

    Proceedings of The International Symposium on Multiple-Valued Logic

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. A modular reduction of regular logic to classical logic

    Proceedings of The International Symposium on Multiple-Valued Logic, pp. 221-225

  2. Capturing structure with satisfiability

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

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

  3. 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

  1. 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)

  2. 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)

  3. 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)