Follow
Anton Belov
Anton Belov
Synopsys Inc.
Verified email at belov-mcdowell.com - Homepage
Title
Cited by
Cited by
Year
On Computing Minimal Correction Subsets
J Marques-Silva, F Heras, M Janota, A Previti, A Belov
AAAI-13, 2013
2022013
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
1092013
Towards efficient MUS extraction
A Belov, I Lynce, J Marques-Silva
AI Communications 25 (2), 97-116, 2012
1092012
MUSer2: An efficient MUS extractor
A Belov, J Marques-Silva
Journal on Satisfiability, Boolean Modeling and Computation 8 (3-4), 123-128, 2012
922012
Accelerating MUS Extraction with Recursive Model Rotation
A Belov, J Marques-Silva
International Conference on Formal Methods in Computer-Aided Design, FMCAD …, 2011
622011
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
492015
The sat competition 2014
A Belov, D Diepold, M Heule, M Järvisalo
Proc. SAT COMPETITION, 45, 2014
332014
MUS extraction using clausal proofs
A Belov, MJH Heule, J Marques-Silva
Theory and Applications of Satisfiability Testing–SAT 2014: 17th …, 2014
332014
SAT-based preprocessing for MaxSAT
A Belov, A Morgado, J Marques-Silva
Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013
302013
Formula preprocessing in MUS extraction
A Belov, M Järvisalo, J Marques-Silva
International Conference on Tools and Algorithms for the Construction and …, 2013
282013
Synthesizing safe bit-precise invariants
A Gurfinkel, A Belov, J Marques-Silva
International Conference on Tools and Algorithms for the Construction and …, 2014
262014
On computing minimal equivalent subformulas
A Belov, M Janota, I Lynce, J Marques-Silva
International Conference on Principles and Practice of Constraint …, 2012
252012
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
172008
Algorithms for computing minimal equivalent subformulas
A Belov, M Janota, I Lynce, J Marques-Silva
Artificial Intelligence 216, 309-326, 2014
142014
Small inductive safe invariants
A Ivrii, A Gurfinkel, A Belov
2014 Formal Methods in Computer-Aided Design (FMCAD), 115-122, 2014
142014
Depth-driven circuit-level stochastic local search for SAT
A Belov, M Järvisalo, Z Stachniak
IJCAI, 504-509, 2011
142011
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
142009
Improved local search for circuit satisfiability
A Belov, Z Stachniak
Theory and Applications of Satisfiability Testing–SAT 2010: 13th …, 2010
132010
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
122013
Generalizing redundancy in propositional logic: Foundations and hitting sets duality
A Belov, J Marques-Silva
arXiv preprint arXiv:1207.1257, 2012
122012
The system can't perform the operation now. Try again later.
Articles 1–20