Anton Belov

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 3

Top Topics

Efficient Computation

Boolean Formulae

Top Venues

Publications

Christian Lütkemeyer, Anton Belov
Center-of-delay: a new metric to drive timing margin against spatial variation in complex SOCs. DATE (2023)
Roland Behrens, Anton Belov, Maik Poggendorf, Felix Penzlin, Magnus Hanses, Emily Jantz, Norbert Elkmann
Performance Indicator for Benchmarking Force-Controlled Robots. ICRA (2018)
Adrian Balint, Anton Belov, Matti Järvisalo, Carsten Sinz
Overview and analysis of the SAT Challenge 2012 solver competition. Artif. Intell. 223 (2015)
Alexander Ivrii, Arie Gurfinkel, Anton Belov
Small inductive safe invariants. FMCAD (2014)
Arie Gurfinkel, Anton Belov, João Marques-Silva
Synthesizing Safe Bit-Precise Invariants. TACAS (2014)
Anton Belov, Marijn Heule, João Marques-Silva
MUS Extraction Using Clausal Proofs. SAT (2014)
Arie Gurfinkel, Anton Belov
FrankenBit: Bit-Precise Verification with Many Bits - (Competition Contribution). TACAS (2014)
Sergey Alatartsev, Anton Belov, Mykhaylo Nykolaychuk, Frank Ortmeier
Robot Trajectory Optimization for the Relaxed End-effector Path. ICINCO (1) (2014)
Anton Belov, Mikolás Janota, Inês Lynce, João Marques-Silva
Algorithms for computing minimal equivalent subformulas. Artif. Intell. 216 (2014)
Anton Belov, António Morgado, João Marques-Silva
SAT-based Preprocessing for MaxSAT (extended version). CoRR (2013)
João Marques-Silva, Federico Heras, Mikolás Janota, Alessandro Previti, Anton Belov
On Computing Minimal Correction Subsets. IJCAI (2013)
Anton Belov, António Morgado, João Marques-Silva
SAT-Based Preprocessing for MaxSAT. LPAR (2013)
Anton Belov, Huan Chen, Alan Mishchenko, João Marques-Silva
Core minimization in SAT-based abstraction. DATE (2013)
Anton Belov, Matti Järvisalo, João Marques-Silva
Formula Preprocessing in MUS Extraction. TACAS (2013)
Anton Belov, Norbert Manthey, João Marques-Silva
Parallel MUS Extraction. SAT (2013)
João Marques-Silva, Mikolás Janota, Anton Belov
Minimal Sets over Monotone Predicates in Boolean Formulae. CAV (2013)
Anton Belov, Mikolás Janota, Inês Lynce, João Marques-Silva
On Computing Minimal Equivalent Subformulas. CP (2012)
Anton Belov, Inês Lynce, João Marques-Silva
Towards efficient MUS extraction. AI Commun. 25 (2) (2012)
Anton Belov, Alexander Ivrii, Arie Matsliah, João Marques-Silva
On Efficient Computation of Variable MUSes. SAT (2012)
Anton Belov, João Marques-Silva
MUSer2: An Efficient MUS Extractor. J. Satisf. Boolean Model. Comput. 8 (3/4) (2012)
Anton Belov, João Marques-Silva
Generalizing Redundancy in Propositional Logic: Foundations and Hitting Sets Duality CoRR (2012)
Anton Belov, João Marques-Silva
Accelerating MUS extraction with recursive model rotation. FMCAD (2011)
Anton Belov, João P. Marques Silva
Minimally Unsatisfiable Boolean Circuits. SAT (2011)
Anton Belov, Matti Järvisalo, Zbigniew Stachniak
Depth-Driven Circuit-Level Stochastic Local Search for SAT. IJCAI (2011)
Anton Belov, Matti Järvisalo
Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability CoRR (2011)
Anton Belov, Zbigniew Stachniak
Improved Local Search for Circuit Satisfiability. SAT (2010)
Anton Belov, Zbigniew Stachniak
Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability. SAT (2009)
Zbigniew Stachniak, Anton Belov
Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning. SAT (2008)
Zbigniew Stachniak, Anton Belov
Weighting strategy for non-clausal resolution. J. Exp. Theor. Artif. Intell. 20 (1) (2008)
Anton Belov, Zbigniew Stachniak
Substitutional Definition of Satisfiability in Classical Propositional Logic. SAT (2005)