◀ 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

Keywords

Year Published

2018 - 2024

Type

All [off | on]
(2)
Journal Paper
(8)
Conference Paper
(0)
Technical Report
(0)
Thesis

Ranking

All [off | on]
(4)
Q1 / A*
(4)
Q2 / A
(2)
Other

Scope

All [off | on]
(8)
International
(2)
Nacional