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

2022

  1. Incomplete MaxSAT approaches for combinatorial testing

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

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. Modeling energy consumption in automated vacuum waste collection systems

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

  2. 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. 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. Building automated theorem provers for infinitely-valued logics with satisfiability modulo theory solvers

    Proceedings of The International Symposium on Multiple-Valued Logic

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

    Journal of Multiple-Valued Logic and Soft Computing

  4. Optimizing energy consumption in automated vacuum waste collection systems

    Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

  5. The Automated Vacuum Waste Collection Optimization Problem

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

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

  2. Experimenting with the instances of the MaxSAT evaluation

    Frontiers in Artificial Intelligence and Applications

  3. Extending multiple-valued clausal forms with linear integer arithmetic

    Proceedings - 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011

  4. Preface: Artificial intelligence research and development

    Frontiers in Artificial Intelligence and Applications

2010

  1. New insights into encodings from MaxCSP into partial MaxSAT

    Proceedings of The International Symposium on Multiple-Valued Logic

  2. Resolution-based lower bounds in MaxSAT

    Constraints, Vol. 15, Núm. 4, pp. 456-484

  3. The Logic Behind Weighted CSP

    Trends in Constraint Programming (Wiley-ISTE), pp. 303-316