| 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 | 337 | 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 | 215 | 2013 |
| RC2: an efficient MaxSAT solver A Ignatiev, A Morgado, J Marques-Silva Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 53-64, 2019 | 153 | 2019 |
| Core-guided MaxSAT with soft cardinality constraints A Morgado, C Dodaro, J Marques-Silva International Conference on Principles and Practice of Constraint …, 2014 | 144 | 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 | 93 | 2011 |
| MSCG: Robust core-guided MaxSAT solving A Morgado, A Ignatiev, J Marques-Silva Journal on Satisfiability, Boolean Modeling and Computation 9 (1), 129-134, 2014 | 60 | 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 | 57 | 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 | 55 | 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 |
| MaxSAT-based MCS enumeration A Morgado, M Liffiton, J Marques-Silva Hardware and Software: Verification and Testing: 8th International Haifa …, 2013 | 47 | 2013 |
| 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 | 46 | 2015 |
| 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 | 41 | 2018 |
| Good learning and implicit model enumeration A Morgado, J Marques-Silva 17th IEEE International Conference on Tools with Artificial Intelligence …, 2005 | 37 | 2005 |
| Progression in maximum satisfiability A Ignatiev, A Morgado, V Manquinho, I Lynce, J Marques-Silva ECAI 2014, 453-458, 2014 | 36 | 2014 |
| Sat-based encodings for optimal decision trees with explicit paths M Janota, A Morgado Theory and Applications of Satisfiability Testing–SAT 2020: 23rd …, 2020 | 32 | 2020 |
| SAT-based preprocessing for MaxSAT A Belov, A Morgado, J Marques-Silva Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013 | 31 | 2013 |
| Model-Based Diagnosis with Multiple Observations. A Ignatiev, A Morgado, G Weissenbacher, J Marques-Silva IJCAI, 1108-1115, 2019 | 26 | 2019 |
| Propositional Abduction with Implicit Hitting Sets A Ignatiev, A Morgado, J Marques-Silva European Conference on Artificial Inteligence, 2016 | 26 | 2016 |
| MaxSAT-based encodings for group MaxSAT F Heras, A Morgado, J Marques-Silva Ai Communications 28 (2), 195-214, 2015 | 22 | 2015 |
| 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 | 22 | 2012 |
Joao Marques-SilvaResearch Professor, ICREA, University of LleidaVerified email at icrea.cat
