Anton Belov

According to our database, Anton Belov authored at least 30 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Center-of-delay: a new metric to drive timing margin against spatial variation in complex SOCs.

Christian Lütkemeyer, Anton Belov

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2018

Performance Indicator for Benchmarking Force-Controlled Robots.

Roland Behrens, Anton Belov, Maik Poggendorf, Felix Penzlin, Magnus Hanses, Emily Jantz, Norbert Elkmann

Proceedings of the 2018 IEEE International Conference on Robotics and Automation, 2018

2015

Overview and analysis of the SAT Challenge 2012 solver competition.

Adrian Balint, Anton Belov, Matti Järvisalo, Carsten Sinz

Artif. Intell., 2015

2014

Algorithms for computing minimal equivalent subformulas.

Anton Belov, Mikolás Janota, Inês Lynce, João Marques-Silva

Artif. Intell., 2014

Synthesizing Safe Bit-Precise Invariants.

Arie Gurfinkel, Anton Belov, João Marques-Silva

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

FrankenBit: Bit-Precise Verification with Many Bits - (Competition Contribution).

Arie Gurfinkel, Anton Belov

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

MUS Extraction Using Clausal Proofs.

Anton Belov, Marijn Heule, João Marques-Silva

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

Robot Trajectory Optimization for the Relaxed End-effector Path.

Sergey Alatartsev, Anton Belov, Mykhaylo Nykolaychuk, Frank Ortmeier

Proceedings of the ICINCO 2014 - Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Vienna, Austria, 1, 2014

Small inductive safe invariants.

Alexander Ivrii, Arie Gurfinkel, Anton Belov

Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013

SAT-based Preprocessing for MaxSAT (extended version).

Anton Belov, António Morgado, João Marques-Silva

CoRR, 2013

Formula Preprocessing in MUS Extraction.

Anton Belov, Matti Järvisalo, João Marques-Silva

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Parallel MUS Extraction.

Anton Belov, Norbert Manthey, João Marques-Silva

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

SAT-Based Preprocessing for MaxSAT.

Anton Belov, António Morgado, João Marques-Silva

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

On Computing Minimal Correction Subsets.

João Marques-Silva, Federico Heras, Mikolás Janota, Alessandro Previti, Anton Belov

Proceedings of the IJCAI 2013, 2013

Core minimization in SAT-based abstraction.

Anton Belov, Huan Chen, Alan Mishchenko, João Marques-Silva

Proceedings of the Design, Automation and Test in Europe, 2013

Minimal Sets over Monotone Predicates in Boolean Formulae.

João Marques-Silva, Mikolás Janota, Anton Belov

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

MUSer2: An Efficient MUS Extractor.

Anton Belov, João Marques-Silva

J. Satisf. Boolean Model. Comput., 2012

Generalizing Redundancy in Propositional Logic: Foundations and Hitting Sets Duality

Anton Belov, João Marques-Silva

CoRR, 2012

Towards efficient MUS extraction.

Anton Belov, Inês Lynce, João Marques-Silva

AI Commun., 2012

On Efficient Computation of Variable MUSes.

Anton Belov, Alexander Ivrii, Arie Matsliah, João Marques-Silva

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

On Computing Minimal Equivalent Subformulas.

Anton Belov, Mikolás Janota, Inês Lynce, João Marques-Silva

Proceedings of the Principles and Practice of Constraint Programming, 2012

2011

Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability

Anton Belov, Matti Järvisalo

CoRR, 2011

Minimally Unsatisfiable Boolean Circuits.

Anton Belov, João Marques-Silva

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

Depth-Driven Circuit-Level Stochastic Local Search for SAT.

Anton Belov, Matti Järvisalo, Zbigniew Stachniak

Proceedings of the IJCAI 2011, 2011

Accelerating MUS extraction with recursive model rotation.

Anton Belov, João Marques-Silva

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

2010

Improved Local Search for Circuit Satisfiability.

Anton Belov, Zbigniew Stachniak

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

2009

Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability.

Anton Belov, Zbigniew Stachniak

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

2008

Weighting strategy for non-clausal resolution.

Zbigniew Stachniak, Anton Belov

J. Exp. Theor. Artif. Intell., 2008

Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning.

Zbigniew Stachniak, Anton Belov

Proceedings of the Theory and Applications of Satisfiability Testing, 2008

2005

Substitutional Definition of Satisfiability in Classical Propositional Logic.

Anton Belov, Zbigniew Stachniak

Proceedings of the Theory and Applications of Satisfiability Testing, 2005