JORDI
PLANES CID
CON
Joäo
Marques Silva
Publicaciones en las que colabora con Joäo Marques Silva (10)
2023
-
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
-
Auditing static machine learning anti-Malware tools against metamorphic attacks
Computers and Security, Vol. 102
2016
-
Maximal falsifiability
AI Communications
2013
-
Iterative and core-guided MaxSAT solving: A survey and assessment
Constraints, Vol. 18, Núm. 4, pp. 478-534
-
Maximal falsifiability: Definitions, algorithms, and applications
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012
-
Iterative SAT solving for minimum satisfiability
Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI
2009
-
Algorithms for weighted boolean optimization
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2008
-
A MAX-SAT algorithm portfolio
Frontiers in Artificial Intelligence and Applications
-
Algorithms for maximum satisfiability using unsatisfiable cores
2008 DESIGN, AUTOMATION AND TEST IN EUROPE, VOLS 1-3
-
Algorithms for maximum satisfiability using unsatisfiable cores
Proceedings -Design, Automation and Test in Europe, DATE