Valeriy Balabanov

Unified QBF certification and its applications

Valeriy Balabanov, Jie-Hong R. Jiang · Formal Methods in System Design · 2012 · 123 citations

Engineering, Automated Reasoning, Conformance Testing +8

TSV-Aware Analytical Placement for 3-D IC Designs Based on a Novel Weighted-Average Wirelength Model

Meng-Kai Hsu, Valeriy Balabanov, Yao‐Wen Chang · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2013 · 112 citations

Engineering, Vlsi Design, Computer Architecture +20

TSV-aware analytical placement for 3D IC designs

Meng-Kai Hsu, Yao‐Wen Chang, Valeriy Balabanov · 2011 · 109 citations

Engineering, Vlsi Design, Electronic Design Automation +20

Henkin quantifiers and Boolean formulae: A certification perspective of DQBF

Valeriy Balabanov, Hui-Ju Katherine Chiang, Jie-Hong R. Jiang · Theoretical Computer Science · 2014 · 34 citations

Applied Logic, Computational Logic, Engineering +9

Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs

Valeriy Balabanov, Jie‐Hong Jiang, Mikoláš Janota et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2015 · 23 citations · Full text

Quantified Boolean Formulas, Engineering, Efficient Extraction +13