Publicaciones en colaboración con investigadores/as de Instituto de Investigación en Inteligencia Artificial (45)

2023

  1. Encoding Ethics to Compute Value-Aligned Norms

    Minds and Machines, Vol. 33, Núm. 4, pp. 761-790

2022

  1. Incomplete MaxSAT approaches for combinatorial testing

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

  2. Scale-Free Random SAT Instances

    Algorithms, Vol. 15, Núm. 6

  3. Yet Another (Fake) Proof of P=NP

    Frontiers in Artificial Intelligence and Applications

2021

  1. Reducing SAT to Max2SAT

    IJCAI International Joint Conference on Artificial Intelligence

2019

  1. Community structure in industrial SAT instances

    Journal of Artificial Intelligence Research, Vol. 66, pp. 443-472

  2. Phase transition in realistic random SAT models

    Frontiers in Artificial Intelligence and Applications

2018

  1. Exploiting Moral Values to Choose the Right Norms

    AIES 2018 - Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society

2017

  1. Structure features for SAT instances classification

    Journal of Applied Logic, Vol. 23, pp. 27-39

2016

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

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

  2. Exploiting subproblem optimization in SAT-based MaxSAT algorithms

    Journal of Heuristics, Vol. 22, Núm. 1, pp. 1-53

2015

  1. On the Classification of Industrial SAT Families

    Frontiers in Artificial Intelligence and Applications

  2. Using community structure to detect relevant learnt clauses

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

2014

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

  2. The fractal dimension of SAT formulas

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

2013

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

    Frontiers in Artificial Intelligence and Applications

  2. Improving WPM2 for (weighted) partial MaxSAT

    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

  4. SAT-based MaxSAT algorithms

    Artificial Intelligence, Vol. 196, pp. 77-105

2012

  1. A SAT-based approach to MinSAT

    Frontiers in Artificial Intelligence and Applications