| 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 | 63 | 2018 |
| Smallest MUS extraction with minimal hitting set dualization A Ignatiev, A Previti, M Liffiton, J Marques-Silva International Conference on Principles and Practice of Constraint …, 2015 | 47 | 2015 |
| Learning Optimal Decision Trees with SAT. N Narodytska, A Ignatiev, F Pereira, J Marques-Silva, IS RAS IJCAI, 1362-1368, 2018 | 44 | 2018 |
| Abduction-based explanations for machine learning models A Ignatiev, N Narodytska, J Marques-Silva Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 1511-1519, 2019 | 38 | 2019 |
| 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 | 37 | 2014 |
| Efficient Model Based Diagnosis with Maximum Satisfiability J Marques-Silva, M Janota, A Ignatiev, A Morgado 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 0 | 36* | |
| Prime compilation of non-clausal formulae A Previti, A Ignatiev, A Morgado, J Marques-Silva Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 32 | 2015 |
| A SAT-based approach to learn explainable decision sets A Ignatiev, F Pereira, N Narodytska, J Marques-Silva International Joint Conference on Automated Reasoning, 627-645, 2018 | 29 | 2018 |
| Progression in Maximum Satisfiability. A Ignatiev, A Morgado, VM Manquinho, I Lynce, J Marques-Silva ECAI, 453-458, 2014 | 27 | 2014 |
| BEACON: An Efficient SAT-Based Tool for Debugging Ontologies MF Arif, C Mencía, A Ignatiev, N Manthey, R Peñaloza, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2016 | 25 | 2016 |
| On cryptographic attacks using backdoors for SAT A Semenov, O Zaikin, I Otpuschennikov, S Kochemazov, A Ignatiev Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018 | 23 | 2018 |
| Towards efficient optimization in package management systems A Ignatiev, M Janota, J Marques-Silva Proceedings of the 36th International Conference on Software Engineering …, 2014 | 23 | 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 | 21 | 2019 |
| Quantified maximum satisfiability A Ignatiev, M Janota, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2013 | 21 | 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 | 20 | 2017 |
| On relating explanations and adversarial examples A Ignatiev, N Narodytska, J Marques-Silva | 19 | 2019 |
| MCS extraction with sublinear oracle queries C Mencía, A Ignatiev, A Previti, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2016 | 17 | 2016 |
| 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 | 16 | 2018 |
| Propositional abduction with implicit hitting sets A Ignatiev, A Morgado, J Marques-Silva arXiv preprint arXiv:1604.08229, 2016 | 16 | 2016 |
| Assessing heuristic machine learning explanations with model counting N Narodytska, A Shrotri, KS Meel, A Ignatiev, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2019 | 15 | 2019 |
Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIVerified email at irit.fr
