| On Computing Minimal Correction Subsets J Marques-Silva, F Heras, M Janota, A Previti, A Belov AAAI-13, 2013 | 211 | 2013 |
| Towards efficient MUS extraction A Belov, I Lynce, J Marques-Silva AI Communications 25 (2), 97-116, 2012 | 117 | 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 | 115 | 2013 |
| MUSer2: An Efficient MUS Extractor: System description A Belov, J Marques-Silva Journal on Satisfiability, Boolean Modelling and Computation 8 (3-4), 123-128, 2012 | 98 | 2012 |
| Accelerating MUS Extraction with Recursive Model Rotation A Belov, J Marques-Silva International Conference on Formal Methods in Computer-Aided Design, FMCAD …, 2011 | 68 | 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 | 52 | 2015 |
| MUS extraction using clausal proofs A Belov, MJH Heule, J Marques-Silva Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014 | 36 | 2014 |
| The sat competition 2014 A Belov, D Diepold, M Heule, M Järvisalo Proc. SAT COMPETITION, 45, 2014 | 35 | 2014 |
| SAT-based preprocessing for MaxSAT A Belov, A Morgado, J Marques-Silva Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013 | 32 | 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 | 30 | 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 | 18 | 2008 |
| Algorithms for computing minimal equivalent subformulas A Belov, M Janota, I Lynce, J Marques-Silva Artificial Intelligence 216, 309-326, 2014 | 16 | 2014 |
| Small inductive safe invariants A Ivrii, A Gurfinkel, A Belov 2014 Formal Methods in Computer-Aided Design (FMCAD), 115-122, 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 | 15 | 2009 |
| Depth-driven circuit-level stochastic local search for SAT A Belov, M Järvisalo, Z Stachniak IJCAI, 504-509, 2011 | 14 | 2011 |
| Generalizing redundancy in propositional logic: Foundations and hitting sets duality A Belov, J Marques-Silva arXiv preprint arXiv:1207.1257, 2012 | 13 | 2012 |
| Improved local search for circuit satisfiability A Belov, Z Stachniak Theory and Applications of Satisfiability Testing–SAT 2010: 13th …, 2010 | 13 | 2010 |
| SAT Competition 2014: Solver and Benchmark Descriptions A Belov, D Diepold, M Heule, M Järvisalo Dept. Comput. Sci. Ser. Publ. B. Helsinki, Finland, Univ. Helsinki, 2014 | 12 | 2014 |
Joao Marques-SilvaResearch Professor, ICREA, University of LleidaAdresse e-mail validée de icrea.cat