ask others

Anton Belov

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2015
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ai/BalintBJS15
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/ai/BalintBJS15
Adrian Balint, Anton Belov, Matti Järvisalo, Carsten Sinz:
Overview and analysis of the SAT Challenge 2012 solver competition. Artif. Intell. 223: 120-155 (2015)
2014
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ai/BelovJLM14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/ai/BelovJLM14
Anton Belov, Mikolás Janota, Inês Lynce, João Marques-Silva:
Algorithms for computing minimal equivalent subformulas. Artif. Intell. 216: 309-326 (2014)
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fmcad/IvriiGB14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/fmcad/IvriiGB14
Alexander Ivrii, Arie Gurfinkel, Anton Belov:
Small inductive safe invariants. FMCAD 2014: 115-122
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icinco/AlatartsevBNO14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/icinco/AlatartsevBNO14
Sergey Alatartsev, Anton Belov, Mykhaylo Nykolaychuk, Frank Ortmeier:
Robot Trajectory Optimization for the Relaxed End-effector Path. ICINCO (1) 2014: 385-390
[c18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/BelovHM14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sat/BelovHM14
Anton Belov, Marijn Heule, João Marques-Silva:
MUS Extraction Using Clausal Proofs. SAT 2014: 48-57
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/GurfinkelBM14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/tacas/GurfinkelBM14
Arie Gurfinkel, Anton Belov, João Marques-Silva:
Synthesizing Safe Bit-Precise Invariants. TACAS 2014: 93-108
[c16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/GurfinkelB14
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/tacas/GurfinkelB14
Arie Gurfinkel, Anton Belov:
FrankenBit: Bit-Precise Verification with Many Bits - (Competition Contribution). TACAS 2014: 408-411
2013
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/BelovMM13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/BelovMM13
Anton Belov, António Morgado, João Marques-Silva:
SAT-based Preprocessing for MaxSAT (extended version). CoRR abs/1310.2298 (2013)
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/Marques-SilvaJB13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/cav/Marques-SilvaJB13
João Marques-Silva, Mikolás Janota, Anton Belov:
Minimal Sets over Monotone Predicates in Boolean Formulae. CAV 2013: 592-607
[c14]
- view
  - electronic edition via DOI
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/date/Belov0MM13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/date/Belov0MM13
Anton Belov, Huan Chen, Alan Mishchenko, João Marques-Silva:
Core minimization in SAT-based abstraction. DATE 2013: 1411-1416
[c13]
- view
  - electronic edition @ aaai.org
  - electronic edition @ ijcai.org
- export record
  dblp key:
  - conf/ijcai/Marques-SilvaHJPB13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ijcai/Marques-SilvaHJPB13
João Marques-Silva, Federico Heras, Mikolás Janota, Alessandro Previti, Anton Belov:
On Computing Minimal Correction Subsets. IJCAI 2013: 615-622
[c12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lpar/BelovMM13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/lpar/BelovMM13
Anton Belov, António Morgado, João Marques-Silva:
SAT-Based Preprocessing for MaxSAT. LPAR 2013: 96-111
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/BelovMM13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sat/BelovMM13
Anton Belov, Norbert Manthey, João Marques-Silva:
Parallel MUS Extraction. SAT 2013: 133-149
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/BelovJM13
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/tacas/BelovJM13
Anton Belov, Matti Järvisalo, João Marques-Silva:
Formula Preprocessing in MUS Extraction. TACAS 2013: 108-123
2012
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/aicom/BelovLM12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/aicom/BelovLM12
Anton Belov, Inês Lynce, João Marques-Silva:
Towards efficient MUS extraction. AI Commun. 25(2): 97-116 (2012)
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1207-1257
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-1207-1257
Anton Belov, João Marques-Silva:
Generalizing Redundancy in Propositional Logic: Foundations and Hitting Sets Duality. CoRR abs/1207.1257 (2012)
[j2]
- view
  - electronic edition @ tudelft.nl
- export record
  dblp key:
  - journals/jsat/BelovM12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jsat/BelovM12
Anton Belov, João Marques-Silva:
MUSer2: An Efficient MUS Extractor. JSAT 8(3/4): 123-128 (2012)
[c9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cp/BelovJLM12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/cp/BelovJLM12
Anton Belov, Mikolás Janota, Inês Lynce, João Marques-Silva:
On Computing Minimal Equivalent Subformulas. CP 2012: 158-174
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/BelovIMM12
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sat/BelovIMM12
Anton Belov, Alexander Ivrii, Arie Matsliah, João Marques-Silva:
On Efficient Computation of Variable MUSes. SAT 2012: 298-311
2011
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1109-2049
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/corr/abs-1109-2049
Anton Belov, Matti Järvisalo:
Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability. CoRR abs/1109.2049 (2011)
[c7]
- view
  - electronic edition @ acm.org
  - electronic edition @ ieee.org
- export record
  dblp key:
  - conf/fmcad/BelovM11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/fmcad/BelovM11
Anton Belov, João Marques-Silva:
Accelerating MUS extraction with recursive model rotation. FMCAD 2011: 37-40
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ijcai/BelovJS11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/ijcai/BelovJS11
Anton Belov, Matti Järvisalo, Zbigniew Stachniak:
Depth-Driven Circuit-Level Stochastic Local Search for SAT. IJCAI 2011: 504-509
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/BelovS11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sat/BelovS11
Anton Belov, João P. Marques Silva:
Minimally Unsatisfiable Boolean Circuits. SAT 2011: 145-158
2010
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/BelovS10
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sat/BelovS10
Anton Belov, Zbigniew Stachniak:
Improved Local Search for Circuit Satisfiability. SAT 2010: 293-299

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/BelovS09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sat/BelovS09
Anton Belov, Zbigniew Stachniak:
Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability. SAT 2009: 258-264
2008
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jetai/StachniakB08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/jetai/StachniakB08
Zbigniew Stachniak, Anton Belov:
Weighting strategy for non-clausal resolution. J. Exp. Theor. Artif. Intell. 20(1): 61-78 (2008)
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/StachniakB08
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sat/StachniakB08
Zbigniew Stachniak, Anton Belov:
Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning. SAT 2008: 257-270
2005
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sat/BelovS05
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/sat/BelovS05
Anton Belov, Zbigniew Stachniak:
Substitutional Definition of Satisfiability in Classical Propositional Logic. SAT 2005: 31-45

Coauthor Index

see FAQ

maintained by

at