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

2022

  1. Incomplete MaxSAT approaches for combinatorial testing

    Journal of Heuristics, Vol. 28, Núm. 4, pp. 377-431

2021

  1. Clause tableaux for maximum and minimum satisfiability

    Logic Journal of the IGPL, Vol. 29, Núm. 1, pp. 7-27

2018

  1. Clause Branching in MaxSAT and MinSAT

    Frontiers in Artificial Intelligence and Applications

2017

  1. Exploiting Many-Valued Variables in MaxSAT

    Proceedings of The International Symposium on Multiple-Valued Logic

2016

  1. Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers

    Fuzzy Sets and Systems, Vol. 292, pp. 32-48

2015

  1. Approximate dynamic programming for automated vacuum waste collection systems

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

2014

  1. Many-valued MinSAT solving

    Proceedings of The International Symposium on Multiple-Valued Logic

  2. Modeling energy consumption in automated vacuum waste collection systems

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

  3. SAT and SMT technology for many-valued logics

    Journal of Multiple-Valued Logic and Soft Computing, Vol. 24, Núm. 1-4, pp. 151-172

2013

  1. A Max-SAT-based approach to constructing optimal covering arrays

    Frontiers in Artificial Intelligence and Applications

  2. MinSAT versus MaxSAT for optimization problems

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

  3. Resolution procedures for multiple-valued optimization

    Information Sciences, Vol. 227, pp. 43-59

2012

  1. A SAT-based approach to MinSAT

    Frontiers in Artificial Intelligence and Applications

  2. A new encoding from MinSAT into MaxSAT

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

  3. Building automated theorem provers for infinitely-valued logics with satisfiability modulo theory solvers

    Proceedings of The International Symposium on Multiple-Valued Logic

  4. Efficient encodings from CSP into SAT, and from MaxCSP into MaxSAT

    Journal of Multiple-Valued Logic and Soft Computing

  5. Optimizing energy consumption in automated vacuum waste collection systems

    Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

  6. The Automated Vacuum Waste Collection Optimization Problem

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

  7. The automated vacuum waste collection optimization problem

    Proceedings of the National Conference on Artificial Intelligence

2011

  1. Analyzing the instances of the MaxSAT evaluation

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