António Morgado

2017
Ignatiev, A., Morgado A., Marques-Silva J., & RAS ISDCT. S. B. (2017).  Cardinality encodings for graph optimization problems. International Joint Conference on Artificial Intelligence (IJCAI).
Marques-Silva, J., Ignatiev A., & Morgado A. (2017).  Horn Maximum Satisfiability: Reductions, Algorithms & Applications. arXiv preprint arXiv:1705.05335.
Ignatiev, A., Morgado A., & Marques-Silva J. (2017).  Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets. arXiv preprint arXiv:1707.01972.
Ignatiev, A., Morgado A., & Marques-Silva J. (2017).  On Tackling the Limits of Resolution in SAT Solving. arXiv preprint arXiv:1705.01477.
2016
Ignatiev, A., Morgado A., Planes J., & Marques-Silva J. (2016).  Maximal falsifiability. AI Communications. 29, 351–370.
Ignatiev, A., Morgado A., & Marques-Silva J. (2016).  Propositional Abduction with Implicit Hitting Sets. arXiv preprint arXiv:1604.08229.