Anton Belov
Anton Belov
Synopsys Inc.
Email confirmado em belov-mcdowell.com - Página inicial
Título
Citado por
Citado por
Ano
On Computing Minimal Correction Subsets
J Marques-Silva, F Heras, M Janota, A Previti, A Belov
AAAI-13, 2013
1422013
Towards efficient MUS extraction
A Belov, I Lynce, J Marques-Silva
AI Communications 25 (2), 97-116, 2012
882012
MUSer2: An efficient MUS extractor
A Belov, J Marques-Silva
Journal on Satisfiability, Boolean Modeling and Computation 8 (3-4), 123-128, 2012
712012
Minimal sets over monotone predicates in boolean formulae
J Marques-Silva, M Janota, A Belov
International Conference on Computer Aided Verification, 592-607, 2013
682013
Accelerating MUS Extraction with Recursive Model Rotation
A Belov, J Marques-Silva
International Conference on Formal Methods in Computer-Aided Design, FMCAD …, 2011
512011
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
342015
Proceedings of SAT Competition 2014
A Belov, D Diepold, MJH Heule, M Järvisalo
University of Helsinki, 2014
24*2014
Formula preprocessing in MUS extraction
A Belov, M Järvisalo, J Marques-Silva
International Conference on Tools and Algorithms for the Construction and …, 2013
242013
SAT-based preprocessing for MaxSAT
A Belov, A Morgado, J Marques-Silva
International Conference on Logic for Programming Artificial Intelligence …, 2013
222013
On computing minimal equivalent subformulas
A Belov, M Janota, I Lynce, J Marques-Silva
International Conference on Principles and Practice of Constraint …, 2012
222012
MUS extraction using clausal proofs
A Belov, MJH Heule, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2014
212014
Synthesizing safe bit-precise invariants
A Gurfinkel, A Belov, J Marques-Silva
International Conference on Tools and Algorithms for the Construction and …, 2014
212014
Improving variable selection process in stochastic local search for propositional satisfiability
A Belov, Z Stachniak
International Conference on Theory and Applications of Satisfiability …, 2009
132009
Speeding-up non-clausal local search for propositional satisfiability with clause learning
Z Stachniak, A Belov
International Conference on Theory and Applications of Satisfiability …, 2008
132008
Algorithms for computing minimal equivalent subformulas
A Belov, M Janota, I Lynce, J Marques-Silva
Artificial Intelligence 216, 309-326, 2014
122014
Theory and Applications of Satisfiability Testing
F Bacchus, T Walsh
Springer Berlin/Heidelberg., 2005
122005
SAT competition 2013
A Balint, A Belov, MJH Heule, M Järvisalo
Presentation at the SAT 2013 conference, 2013
11*2013
Generalizing redundancy in propositional logic: Foundations and hitting sets duality
A Belov, J Marques-Silva
arXiv preprint arXiv:1207.1257, 2012
112012
Depth-driven circuit-level stochastic local search for SAT
A Belov, M Järvisalo, Z Stachniak
IJCAI, 504-509, 2011
112011
Minimally unsatisfiable Boolean circuits
A Belov, J Marques-Silva
International Conference on Theory and Applications of Satisfiability …, 2011
112011
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20