| 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 | 260 | 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 | 204 | 2013 |
| Core-guided MaxSAT with soft cardinality constraints A Morgado, C Dodaro, J Marques-Silva International Conference on Principles and Practice of Constraint …, 2014 | 135 | 2014 |
| RC2: an efficient MaxSAT solver A Ignatiev, A Morgado, J Marques-Silva Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 53-64, 2019 | 123 | 2019 |
| 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 | 91 | 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 | 57 | 2014 |
| Efficient Model Based Diagnosis with Maximum Satisfiability. J Marques-Silva, M Janota, A Ignatiev, A Morgado IJCAI 15, 1966-1972, 2015 | 54 | 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 | 52 | 2012 |
| MaxSAT-based MCS enumeration A Morgado, M Liffiton, J Marques-Silva Hardware and Software: Verification and Testing: 8th International Haifa …, 2013 | 46 | 2013 |
| 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 | 45 | 2017 |
| Prime compilation of non-clausal formulae A Previti, A Ignatiev, A Morgado, J Marques-Silva Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 43 | 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 | 39 | 2018 |
| Good learning and implicit model enumeration A Morgado, J Marques-Silva 17th IEEE International Conference on Tools with Artificial Intelligence …, 2005 | 36 | 2005 |
| Progression in Maximum Satisfiability. A Ignatiev, A Morgado, VM Manquinho, I Lynce, J Marques-Silva ECAI, 453-458, 2014 | 34 | 2014 |
| SAT-based preprocessing for MaxSAT A Belov, A Morgado, J Marques-Silva Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013 | 29 | 2013 |
| SAT-based encodings for optimal decision trees with explicit paths M Janota, A Morgado Theory and Applications of Satisfiability Testing–SAT 2020: 23rd …, 2020 | 25 | 2020 |
| Propositional Abduction with Implicit Hitting Sets A Ignatiev, A Morgado, J Marques-Silva European Conference on Artificial Inteligence, 2016 | 23 | 2016 |
| Model-Based Diagnosis with Multiple Observations. A Ignatiev, A Morgado, G Weissenbacher, J Marques-Silva IJCAI, 1108-1115, 2019 | 21 | 2019 |
| MaxSAT-based encodings for group MaxSAT F Heras, A Morgado, J Marques-Silva Ai Communications 28 (2), 195-214, 2015 | 21 | 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 | 21 | 2012 |
Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIVerified email at irit.fr
