×
Edit Profile (opens in new tab)

Balabanov, Valeriy

Co-Author Distance
Author ID: balabanov.valeriy Recent zbMATH articles by "Balabanov, Valeriy"
Published as: Balabanov, Valeriy
Documents Indexed: 6 Publications since 2012
Co-Authors: 7 Co-Authors with 6 Joint Publications
129 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
5 Jiang, Jie-Hong Roland
2 Chiang, Hui-Ju Katherine
1 Brayton, Robert K.
1 Ivrii, Alexander
1 Mishchenko, Alan
1 Scholl, Christoph
1 Widl, Magdalena

Serials

1 Theoretical Computer Science
1 Formal Methods in System Design

Fields

4 Mathematical logic and foundations (03-XX)
4 Computer science (68-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

5 Publications have been cited 107 times in 71 Documents Cited by ▼ Year ▼
Unified QBF certification and its applications. Zbl 1284.68516
Balabanov, Valeriy; Jiang, Jie-Hong R.
48
2012
QBF resolution systems and their proof complexities. Zbl 1423.68406
Balabanov, Valeriy; Widl, Magdalena; Jiang, Jie-Hong R.
37
2014
Henkin quantifiers and Boolean formulae: a certification perspective of DQBF. Zbl 1283.03032
Balabanov, Valeriy; Chiang, Hui-Ju Katherine; Jiang, Jie-Hong R.
17
2014
2QBF: challenges and solutions. Zbl 1475.68335
Balabanov, Valeriy; Jiang, Jie-Hong Roland; Scholl, Christoph; Mishchenko, Alan; Brayton, Robert K.
3
2016
Henkin quantifiers and Boolean formulae. Zbl 1273.03046
Balabanov, Valeriy; Chiang, Hui-Ju Katherine; Jiang, Jie-Hong Roland
2
2012
2QBF: challenges and solutions. Zbl 1475.68335
Balabanov, Valeriy; Jiang, Jie-Hong Roland; Scholl, Christoph; Mishchenko, Alan; Brayton, Robert K.
3
2016
QBF resolution systems and their proof complexities. Zbl 1423.68406
Balabanov, Valeriy; Widl, Magdalena; Jiang, Jie-Hong R.
37
2014
Henkin quantifiers and Boolean formulae: a certification perspective of DQBF. Zbl 1283.03032
Balabanov, Valeriy; Chiang, Hui-Ju Katherine; Jiang, Jie-Hong R.
17
2014
Unified QBF certification and its applications. Zbl 1284.68516
Balabanov, Valeriy; Jiang, Jie-Hong R.
48
2012
Henkin quantifiers and Boolean formulae. Zbl 1273.03046
Balabanov, Valeriy; Chiang, Hui-Ju Katherine; Jiang, Jie-Hong Roland
2
2012
all cited Publications top 5 cited Publications
all top 5

Cited by 86 Authors

24 Beyersdorff, Olaf
11 Blinkhorn, Joshua
8 Chew, Leroy
8 Seidl, Martina
8 Slivovsky, Friedrich
7 Mahajan, Meena
6 Peitl, Tomáš
6 Scholl, Christoph
5 Janota, Mikoláš
5 Lonsing, Florian
5 Szeider, Stefan
5 Wimmer, Ralf D.
4 Böhm, Benjamin
4 Egly, Uwe
4 Jiang, Jie-Hong Roland
3 Becker, Bernd
3 Chakraborty, Supratik
3 Hinde, Luke
3 Marques-Silva, João P.
3 Suda, Martin
2 Akshay, S.
2 Balabanov, Valeriy
2 Biere, Armin
2 Pich, Ján
2 Schmidt, Renate A.
2 Şhukla, Anil K.
2 Sreenivasaiah, Karteek
2 Tentrup, Leander
1 Balyo, Tomáš
1 Bloem, Roderick
1 Bradfield, Julian Charles
1 Braud-Santoni, Nicolas
1 Brayton, Robert K.
1 Cheng, Che
1 Chiang, Hui-Ju Katherine
1 Clarke, Edmund Melson jun.
1 Clemente, Lorenzo
1 Clymo, Judith
1 Couillard, Eszter
1 Czerner, Philipp
1 Davis, Jared
1 Eiter, Thomas
1 Esparza, Javier
1 Fried, Dror
1 Fröhlich, Andreas M.
1 Ge-Ernst, Aile
1 Gitina, Karina
1 Gleiss, Bernhard
1 Goel, Shubham
1 Gutierrez, Julian
1 Hadzic, Vedad
1 Hecking-Harbusch, Jesko
1 Heisinger, Simone
1 Heule, Marijn J. H.
1 Hsu, Tzu-Chien
1 Ignatyev, Alexey A.
1 Itsykson, Dmitry M.
1 Jain, Sahil
1 Kaminski, Tobias
1 Kauers, Manuel
1 Klieber, William
1 Kovásznai, Gergely
1 Kronegger, Martin
1 Kulal, Sumith
1 Luo, Yunrong
1 Majumdar, Rupak
1 Mayr, Richard M.
1 Mengel, Stefan
1 Mishchenko, Alan
1 Myreen, Magnus O.
1 Nist, Jennifer
1 Okhotin, Alexander
1 Oparin, Vsevolod
1 Pfandler, Andreas
1 Pulina, Luca
1 Reichl, Franz-Xaver
1 Schleitzer, Agnes
1 Shah, Shetal
1 Shukla, Ankit
1 Síč, Juraj
1 Tabajara, Lucas M.
1 Tu, Kuan-Hua
1 Van Gelder, Allen
1 Vardi, Moshe Ya’akov
1 Wimmer, Karina
1 Wooldridge, Michael J.
all top 5

Cited in 16 Serials

8 Journal of Automated Reasoning
4 Theoretical Computer Science
4 Logical Methods in Computer Science
3 Artificial Intelligence
3 Information Processing Letters
3 Formal Methods in System Design
2 Theory of Computing Systems
2 Journal of Satisfiability, Boolean Modeling and Computation
1 Journal of Computer and System Sciences
1 Synthese
1 Information and Computation
1 The Journal of Artificial Intelligence Research (JAIR)
1 Annals of Mathematics and Artificial Intelligence
1 Constraints
1 ACM Transactions on Computational Logic
1 ACM Transactions on Computation Theory

Cited in 5 Fields

63 Computer science (68-XX)
35 Mathematical logic and foundations (03-XX)
2 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 Operations research, mathematical programming (90-XX)

Citations by Year