◀ Click to filter
Total displayed: 10
Order by:
- Checking Robustness of Neural Network Models for the Classification of Malware
Teresa Alsinet, Josep Argelich, Ramón Béjar, António José dos Reis Morgado, Jordi Planes
Artificial Intelligence Research and Development - Proceedings of the 26th International Conference of the Catalan Association for Artificial ntelligence, {CCIA} 2024 vol. 390, DOI 10.3233/FAIA240418 - {RC2:} an Efficient MaxSAT Solver
Alexey Ignatiev, António José dos Reis Morgado, João Marques-Silva
Journal on Satisfiability, Boolean Modeling and Computation vol. 11, n. 1, DOI 10.3233/SAT190116
2019
- Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation
Yacine Izza, Xuanxiang Huang, António José dos Reis Morgado, Jordi Planes, Alexey Ignatiev, João Marques-Silva
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, {KR} 2024, - The Seesaw Algorithm: Function Optimization Using Implicit Hitting Sets
Mikolás Janota, António José dos Reis Morgado, José Fragoso Santos, Vasco Manquinho
27th International Conference on Principles and Practice of Constraint Programming, LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik, vol. 210, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik, Montpellier, France
2021 - SAT-Based Encodings for Optimal Decision Trees with Explicit Paths.
Mikolás Janota, António José dos Reis Morgado
Theory and Applications of Satisfiability Testing - {SAT} 2020, Lecture Notes in Computer Science, Springer, vol. 12178, Springer, - Model-Based Diagnosis with Multiple Observations
Alexey Ignatiev, António José dos Reis Morgado, Georg Weissenbacher, João Marques-Silva
International Joint Conference on Artificial Intelligence, {IJCAI} 2019, ijcai.org, ijcai.org, - DRMaxSAT with MaxHS: First Contact
António José dos Reis Morgado, Alexey Ignatiev, Maria Luisa Bonet, João Marques-Silva, Sam Buss
Theory and Applications of Satisfiability Testing, Lecture Notes in Computer Science, Springer, vol. 11628, Springer,
2019 - DRMaxSAT with MaxHS: First Contact
António José dos Reis Morgado, Alexey Ignatiev, Maria Luisa Bonet, João Marques-Silva, Sam Buss
Theory and Applications of Satisfiability Testing, Lecture Notes in Computer Science, Springer, vol. 11628, Springer,
2019 - Efficient Symmetry Breaking for SAT-Based Minimum {DFA} Inference
Ilya Zakirzyanov, António José dos Reis Morgado, Alexey Ignatiev, Vladimir Ulyantsev, João Marques-Silva
International Conference Language and Automata Theory and Applications, Lecture Notes in Computer Science, Springer, vol. 11417, Springer,
2019 - PySAT: {A} Python Toolkit for Prototyping with {SAT} Oracles
Alexey Ignatiev, António José dos Reis Morgado, João Marques-Silva
Theory and Applications of Satisfiability Testing , Lecture Notes in Computer Science, Springer, vol. 10929, Springer,
2018 - MaxSAT Resolution With the Dual Rail Encoding
Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, João Marques-Silva, António José dos Reis Morgado
Artificial Intelligence, {AAAI} Press, {AAAI} Press, https://www.aaai.org/ocs/index.php/AAAI/AAAI18/paper/view/16782
2018