| 2023 | DATE | Center-of-delay: a new metric to drive timing margin against spatial variation in complex SOCs. | Christian Ltkemeyer, Anton Belov |
| 2018 | ICRA | Performance Indicator for Benchmarking Force-Controlled Robots. | Roland Behrens, Anton Belov, Maik Poggendorf, Felix Penzlin, Magnus Hanses, Emily Jantz, Norbert Elkmann |
| 2014 | FMCAD | Small inductive safe invariants. | Alexander Ivrii, Arie Gurfinkel, Anton Belov |
| 2014 | ICINCO | Robot Trajectory Optimization for the Relaxed End-effector Path. | Sergey Alatartsev, Anton Belov, Mykhaylo Nykolaychuk, Frank Ortmeier |
| 2014 | SAT | MUS Extraction Using Clausal Proofs. | Anton Belov, Marijn Heule, Joo Marques-Silva |
| 2014 | TACAS | FrankenBit: Bit-Precise Verification with Many Bits - (Competition Contribution). | Arie Gurfinkel, Anton Belov |
| 2014 | TACAS | Synthesizing Safe Bit-Precise Invariants. | Arie Gurfinkel, Anton Belov, Joo Marques-Silva |
| 2013 | CAV | Minimal Sets over Monotone Predicates in Boolean Formulae. | Joo Marques-Silva, Mikols Janota, Anton Belov |
| 2013 | DATE | Core minimization in SAT-based abstraction. | Anton Belov, Huan Chen, Alan Mishchenko, Joo Marques-Silva |
| 2013 | IJCAI | On Computing Minimal Correction Subsets. | Joo Marques-Silva, Federico Heras, Mikols Janota, Alessandro Previti, Anton Belov |
| 2013 | LPAR | SAT-Based Preprocessing for MaxSAT. | Anton Belov, Antnio Morgado, Joo Marques-Silva |
| 2013 | SAT | Parallel MUS Extraction. | Anton Belov, Norbert Manthey, Joo Marques-Silva |
| 2013 | TACAS | Formula Preprocessing in MUS Extraction. | Anton Belov, Matti Jrvisalo, Joo Marques-Silva |
| 2012 | CP | On Computing Minimal Equivalent Subformulas. | Anton Belov, Mikols Janota, Ins Lynce, Joo Marques-Silva |
| 2012 | SAT | On Efficient Computation of Variable MUSes. | Anton Belov, Alexander Ivrii, Arie Matsliah, Joo Marques-Silva |
| 2011 | FMCAD | Accelerating MUS extraction with recursive model rotation. | Anton Belov, Joo Marques-Silva |
| 2011 | IJCAI | Depth-Driven Circuit-Level Stochastic Local Search for SAT. | Anton Belov, Matti Jrvisalo, Zbigniew Stachniak |
| 2011 | SAT | Minimally Unsatisfiable Boolean Circuits. | Anton Belov, Joo Marques-Silva |
| 2010 | SAT | Improved Local Search for Circuit Satisfiability. | Anton Belov, Zbigniew Stachniak |
| 2009 | SAT | Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability. | Anton Belov, Zbigniew Stachniak |
| 2008 | SAT | Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning. | Zbigniew Stachniak, Anton Belov |
| 2005 | SAT | Substitutional Definition of Satisfiability in Classical Propositional Logic. | Anton Belov, Zbigniew Stachniak |