Valeriy Balabanov

Publication Activity (10 Years)

Years Active: 2011-2016
Publications (10 Years): 3

Top Topics

First Order Logic

Boolean Formula

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

AAAI Workshop: Beyond NP

Formal Methods Syst. Des.

Publications

Valeriy Balabanov, Jie-Hong Roland Jiang, Christoph Scholl, Alan Mishchenko, Robert K. Brayton
2QBF: Challenges and Solutions. SAT (2016)
Valeriy Balabanov, Jie-Hong Roland Jiang, Alan Mishchenko, Christoph Scholl
Clauses Versus Gates in CEGAR-Based 2QBF Solving. AAAI Workshop: Beyond NP (2016)
Valeriy Balabanov, Shuo-Ren Lin, Jie-Hong R. Jiang
Flexibility and Optimization of QBF Skolem-Herbrand Certificates. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35 (9) (2016)
Valeriy Balabanov, Jie-Hong Roland Jiang, Mikolas Janota, Magdalena Widl
Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs. AAAI (2015)
Valeriy Balabanov, Alexander Ivrii
Speeding up MUS Extraction with Preprocessing and Chunking. SAT (2015)
Valeriy Balabanov, Hui-Ju Katherine Chiang, Jie-Hong R. Jiang
Henkin quantifiers and Boolean formulae: A certification perspective of DQBF. Theor. Comput. Sci. 523 (2014)
Valeriy Balabanov, Magdalena Widl, Jie-Hong R. Jiang
QBF Resolution Systems and Their Proof Complexities. SAT (2014)
Meng-Kai Hsu, Valeriy Balabanov, Yao-Wen Chang
TSV-Aware Analytical Placement for 3-D IC Designs Based on a Novel Weighted-Average Wirelength Model. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32 (4) (2013)
Valeriy Balabanov, Hui-Ju Katherine Chiang, Jie-Hong Roland Jiang
Henkin Quantifiers and Boolean Formulae. SAT (2012)
Valeriy Balabanov, Jie-Hong R. Jiang
Unified QBF certification and its applications. Formal Methods Syst. Des. 41 (1) (2012)
Meng-Kai Hsu, Yao-Wen Chang, Valeriy Balabanov
TSV-aware analytical placement for 3D IC designs. DAC (2011)
Valeriy Balabanov, Jie-Hong R. Jiang
Resolution Proofs and Skolem Functions in QBF Evaluation and Applications. CAV (2011)