Morgado, António

6 publications

IJCAI 2019 Model-Based Diagnosis with Multiple Observations Alexey Ignatiev, António Morgado, Georg Weissenbacher, João Marques-Silva

AAAI 2018 MaxSAT Resolution with the Dual Rail Encoding Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, João Marques-Silva, António Morgado

IJCAI 2017 Cardinality Encodings for Graph Optimization Problems Alexey Ignatiev, António Morgado, João Marques-Silva

IJCAI 2015 Efficient Model Based Diagnosis with Maximum Satisfiability João Marques-Silva, Mikolás Janota, Alexey Ignatiev, António Morgado

IJCAI 2015 Prime Compilation of Non-Clausal Formulae Alessandro Previti, Alexey Ignatiev, António Morgado, João Marques-Silva

AAAI 2011 Core-Guided Binary Search Algorithms for Maximum Satisfiability Federico Heras, António Morgado, João Marques-Silva