| On Computing Minimal Correction Subsets J Marques-Silva, F Heras, M Janota, A Previti, A Belov AAAI-13, 2013 | 198 | 2013 |
| Towards efficient MUS extraction A Belov, I Lynce, J Marques-Silva AI Communications 25 (2), 97-116, 2012 | 107 | 2012 |
| Minimal sets over monotone predicates in boolean formulae J Marques-Silva, M Janota, A Belov Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 103 | 2013 |
| MUSer2: An efficient MUS extractor A Belov, J Marques-Silva Journal on Satisfiability, Boolean Modeling and Computation 8 (3-4), 123-128, 2012 | 90 | 2012 |
| Accelerating MUS Extraction with Recursive Model Rotation A Belov, J Marques-Silva International Conference on Formal Methods in Computer-Aided Design, FMCAD …, 2011 | 59 | 2011 |
| Overview and analysis of the SAT Challenge 2012 solver competition A Balint, A Belov, M Järvisalo, C Sinz Artificial Intelligence 223, 120-155, 2015 | 50 | 2015 |
| MUS extraction using clausal proofs A Belov, MJH Heule, J Marques-Silva Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014 | 33 | 2014 |
| Proceedings of SAT Competition 2014 A Belov, D Diepold, MJH Heule, M Järvisalo University of Helsinki, 2014 | 32 | 2014 |
| SAT-based preprocessing for MaxSAT A Belov, A Morgado, J Marques-Silva Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013 | 29 | 2013 |
| Formula preprocessing in MUS extraction A Belov, M Järvisalo, J Marques-Silva International Conference on Tools and Algorithms for the Construction and …, 2013 | 27 | 2013 |
| Synthesizing safe bit-precise invariants A Gurfinkel, A Belov, J Marques-Silva International Conference on Tools and Algorithms for the Construction and …, 2014 | 26 | 2014 |
| On computing minimal equivalent subformulas A Belov, M Janota, I Lynce, J Marques-Silva International Conference on Principles and Practice of Constraint …, 2012 | 25 | 2012 |
| Speeding-up non-clausal local search for propositional satisfiability with clause learning Z Stachniak, A Belov Theory and Applications of Satisfiability Testing–SAT 2008: 11th …, 2008 | 16 | 2008 |
| Algorithms for computing minimal equivalent subformulas A Belov, M Janota, I Lynce, J Marques-Silva Artificial Intelligence 216, 309-326, 2014 | 15 | 2014 |
| Improving variable selection process in stochastic local search for propositional satisfiability A Belov, Z Stachniak Theory and Applications of Satisfiability Testing-SAT 2009: 12th …, 2009 | 14 | 2009 |
| Small inductive safe invariants A Ivrii, A Gurfinkel, A Belov 2014 Formal Methods in Computer-Aided Design (FMCAD), 115-122, 2014 | 13 | 2014 |
| Depth-driven circuit-level stochastic local search for SAT A Belov, M Järvisalo, Z Stachniak IJCAI, 504-509, 2011 | 13 | 2011 |
| Improved local search for circuit satisfiability A Belov, Z Stachniak Theory and Applications of Satisfiability Testing–SAT 2010: 13th …, 2010 | 13 | 2010 |
| Core minimization in SAT-based abstraction A Belov, H Chen, A Mishchenko, J Marques-Silva 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2013 | 12 | 2013 |
| Generalizing redundancy in propositional logic: Foundations and hitting sets duality A Belov, J Marques-Silva arXiv preprint arXiv:1207.1257, 2012 | 12 | 2012 |
Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIVerified email at irit.fr
