Anton Belov Coauthor index pubzone.org

Facets and more with CompleteSearch

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2015
j5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdrian 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
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnton Belov, Mikolás Janota, Inês Lynce, João Marques-Silva: Algorithms for computing minimal equivalent subformulas. Artif. Intell. 216: 309-326 (2014)
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander Ivrii, Arie Gurfinkel, Anton Belov: Small inductive safe invariants. FMCAD 2014: 115-122
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergey Alatartsev, Anton Belov, Mykhaylo Nykolaychuk, Frank Ortmeier: Robot Trajectory Optimization for the Relaxed End-effector Path. ICINCO (1) 2014: 385-390
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnton Belov, Marijn Heule, João Marques-Silva: MUS Extraction Using Clausal Proofs. SAT 2014: 48-57
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArie Gurfinkel, Anton Belov, João Marques-Silva: Synthesizing Safe Bit-Precise Invariants. TACAS 2014: 93-108
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArie Gurfinkel, Anton Belov: FrankenBit: Bit-Precise Verification with Many Bits - (Competition Contribution). TACAS 2014: 408-411
2013
i3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnton Belov, António Morgado, João Marques-Silva: SAT-based Preprocessing for MaxSAT (extended version). CoRR abs/1310.2298 (2013)
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Marques-Silva, Mikolás Janota, Anton Belov: Minimal Sets over Monotone Predicates in Boolean Formulae. CAV 2013: 592-607
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnton Belov, Huan Chen, Alan Mishchenko, João Marques-Silva: Core minimization in SAT-based abstraction. DATE 2013: 1411-1416
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoão Marques-Silva, Federico Heras, Mikolás Janota, Alessandro Previti, Anton Belov: On Computing Minimal Correction Subsets. IJCAI 2013: 615-622
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnton Belov, António Morgado, João Marques-Silva: SAT-Based Preprocessing for MaxSAT. LPAR 2013: 96-111
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnton Belov, Norbert Manthey, João Marques-Silva: Parallel MUS Extraction. SAT 2013: 133-149
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnton Belov, Matti Järvisalo, João Marques-Silva: Formula Preprocessing in MUS Extraction. TACAS 2013: 108-123
2012
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnton Belov, Inês Lynce, João Marques-Silva: Towards efficient MUS extraction. AI Commun. 25(2): 97-116 (2012)
i2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnton Belov, João Marques-Silva: Generalizing Redundancy in Propositional Logic: Foundations and Hitting Sets Duality .CoRR abs/1207.1257 (2012)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnton Belov, João Marques-Silva: MUSer2: An Efficient MUS Extractor. JSAT 8(3/4): 123-128 (2012)
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnton Belov, Mikolás Janota, Inês Lynce, João Marques-Silva: On Computing Minimal Equivalent Subformulas. CP 2012: 158-174
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnton Belov, Alexander Ivrii, Arie Matsliah, João Marques-Silva: On Efficient Computation of Variable MUSes. SAT 2012: 298-311
2011
i1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnton Belov, Matti Järvisalo: Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability .CoRR abs/1109.2049 (2011)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnton Belov, João Marques-Silva: Accelerating MUS extraction with recursive model rotation. FMCAD 2011: 37-40
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnton Belov, Matti Järvisalo, Zbigniew Stachniak: Depth-Driven Circuit-Level Stochastic Local Search for SAT. IJCAI 2011: 504-509
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnton Belov, João P. Marques Silva: Minimally Unsatisfiable Boolean Circuits. SAT 2011: 145-158
2010
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnton Belov, Zbigniew Stachniak: Improved Local Search for Circuit Satisfiability. SAT 2010: 293-299
2009
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnton Belov, Zbigniew Stachniak: Improving Variable Selection Process in Stochastic Local Search for Propositional Satisfiability. SAT 2009: 258-264
2008
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZbigniew Stachniak, Anton Belov: Weighting strategy for non-clausal resolution. J. Exp. Theor. Artif. Intell. 20(1): 61-78 (2008)
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZbigniew Stachniak, Anton Belov: Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning. SAT 2008: 257-270
2005
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnton Belov, Zbigniew Stachniak: Substitutional Definition of Satisfiability in Classical Propositional Logic. SAT 2005: 31-45

Coauthor Index

1Sergey Alatartsev[c19]
2Adrian Balint[j5]
3Huan Chen 0001[c14]
4Arie Gurfinkel[c20] [c17] [c16]
5Federico Heras[c13]
6Marijn Heule[c18]
7Alexander Ivrii[c20] [c8]
8Mikolás Janota[j4] [c15] [c13] [c9]
9Matti Järvisalo[j5] [c10] [i1] [c6]
10Inês Lynce[j4] [j3] [c9]
11Norbert Manthey[c11]
12Joao Marques-Silva
João Marques-Silva
João P. Marques Silva
[j4] [c18] [c17] [i3] [c15] [c14] [c13] [c12] [c11] [c10] [j3] [i2] [j2] [c9] [c8] [c7] [c5]
13Arie Matsliah[c8]
14Alan Mishchenko[c14]
15António Morgado[i3] [c12]
16Mykhaylo Nykolaychuk[c19]
17Frank Ortmeier[c19]
18Alessandro Previti[c13]
19Carsten Sinz[j5]
20Zbigniew Stachniak[c6] [c4] [c3] [j1] [c2] [c1]

 

Last update 2017-06-17 01:04 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page