| PySAT: A Python toolkit for prototyping with SAT oracles A Ignatiev, A Morgado, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2018 | 376 | 2018 |
| Iterative and core-guided MaxSAT solving: A survey and assessment A Morgado, F Heras, M Liffiton, J Planes, J Marques-Silva Constraints 18, 478-534, 2013 | 223 | 2013 |
| RC2: an efficient MaxSAT solver A Ignatiev, A Morgado, J Marques-Silva Journal on Satisfiability, Boolean Modelling and Computation 11 (1), 53-64, 2019 | 173 | 2019 |
| Core-guided MaxSAT with soft cardinality constraints A Morgado, C Dodaro, J Marques-Silva International Conference on Principles and Practice of Constraint …, 2014 | 150 | 2014 |
| Core-guided binary search algorithms for maximum satisfiability F Heras, A Morgado, J Marques-Silva Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 36-41, 2011 | 94 | 2011 |
| Mscg: Robust core-guided MaxSAT solving: System description A Morgado, A Ignatiev, J Marques-Silva Journal on Satisfiability, Boolean Modelling and Computation 9 (1), 129-134, 2014 | 69 | 2014 |
| Efficient model based diagnosis with maximum satisfiability J Marques-Silva, M Janota, A Ignatiev, A Morgado International Joint Conference on Artificial Intelligence 2015, 1966-1972, 2015 | 62 | 2015 |
| Improvements to core-guided binary search for MaxSAT A Morgado, F Heras, J Marques-Silva Theory and Applications of Satisfiability Testing–SAT 2012: 15th …, 2012 | 56 | 2012 |
| On tackling the limits of resolution in SAT solving A Ignatiev, A Morgado, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2017 | 49 | 2017 |
| Prime compilation of non-clausal formulae A Previti, A Ignatiev, A Morgado, J Marques-Silva International Joint Conference on Artificial Intelligence 2015, 1980-1987, 2015 | 48 | 2015 |
| MaxSAT-based MCS enumeration A Morgado, M Liffiton, J Marques-Silva Hardware and Software: Verification and Testing: 8th International Haifa …, 2013 | 47 | 2013 |
| MaxSAT resolution with the dual rail encoding ML Bonet, S Buss, A Ignatiev, J Marques-Silva, A Morgado Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018 | 44 | 2018 |
| Good learning and implicit model enumeration A Morgado, J Marques-Silva 17th IEEE International Conference on Tools with Artificial Intelligence …, 2005 | 40 | 2005 |
| Sat-based encodings for optimal decision trees with explicit paths M Janota, A Morgado Theory and Applications of Satisfiability Testing–SAT 2020: 23rd …, 2020 | 38 | 2020 |
| Progression in maximum satisfiability A Ignatiev, A Morgado, V Manquinho, I Lynce, J Marques-Silva ECAI 2014, 453-458, 2014 | 37 | 2014 |
| Model-Based Diagnosis with Multiple Observations. A Ignatiev, A Morgado, G Weissenbacher, J Marques-Silva IJCAI, 1108-1115, 2019 | 35 | 2019 |
| SAT-based preprocessing for MaxSAT A Belov, A Morgado, J Marques-Silva Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013 | 32 | 2013 |
| Propositional Abduction with Implicit Hitting Sets A Ignatiev, A Morgado, J Marques-Silva European Conference on Artificial Inteligence, 2016 | 27 | 2016 |
| Feature necessity & relevancy in ML classifier explanations X Huang, MC Cooper, A Morgado, J Planes, J Marques-Silva International Conference on Tools and Algorithms for the Construction and …, 2023 | 23 | 2023 |
| Iterative SAT solving for minimum satisfiability F Hers, A Morgado, J Planes, J Marques-Silva 2012 IEEE 24th International Conference on Tools with Artificial …, 2012 | 23 | 2012 |
Joao Marques-SilvaResearch Professor, ICREA, University of Lleidaicrea.cat의 이메일 확인됨
