Publicaciones en las que colabora con Joäo Marques Silva (13)

2023

  1. Feature Necessity & Relevancy in ML Classifier Explanations

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

2021

  1. Auditing static machine learning anti-Malware tools against metamorphic attacks

    Computers and Security, Vol. 102

2016

  1. Maximal falsifiability

    AI Communications

2013

  1. Iterative and core-guided MaxSAT solving: A survey and assessment

    Constraints, Vol. 18, Núm. 4, pp. 478-534

  2. Maximal falsifiability: Definitions, algorithms, and applications

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

2012

  1. Iterative SAT solving for minimum satisfiability

    Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

2011

  1. Boolean lexicographic optimization: Algorithms & applications

    Annals of Mathematics and Artificial Intelligence, Vol. 62, Núm. 3-4, pp. 317-343

2010

  1. Boolean lexicographic optimization

    CEUR Workshop Proceedings

2009

  1. Algorithms for weighted boolean optimization

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

  2. On solving boolean multilevel optimization problems

    IJCAI International Joint Conference on Artificial Intelligence

2008

  1. A MAX-SAT algorithm portfolio

    Frontiers in Artificial Intelligence and Applications

  2. Algorithms for maximum satisfiability using unsatisfiable cores

    2008 DESIGN, AUTOMATION AND TEST IN EUROPE, VOLS 1-3

  3. Algorithms for maximum satisfiability using unsatisfiable cores

    Proceedings -Design, Automation and Test in Europe, DATE