Anton Belov

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