Valeriy Balabanov

12 papers A* 3A 4Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2016 A conf
2QBF: Challenges and Solutions.
SAT
Valeriy Balabanov, Jie-Hong Roland Jiang, Christoph Scholl, Alan Mishchenko, Robert K. Brayton
2016 — conf
Clauses Versus Gates in CEGAR-Based 2QBF Solving.
AAAI Workshop: Beyond NP
Valeriy Balabanov, Jie-Hong Roland Jiang, Alan Mishchenko, Christoph Scholl
2016 J jnl
Flexibility and Optimization of QBF Skolem-Herbrand Certificates.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Valeriy Balabanov, Shuo-Ren Lin, Jie-Hong R. Jiang
2015 A* conf
Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs.
AAAI
Valeriy Balabanov, Jie-Hong Roland Jiang, Mikolas Janota, Magdalena Widl
2015 A conf
Speeding up MUS Extraction with Preprocessing and Chunking.
SAT
Valeriy Balabanov, Alexander Ivrii
2014 J jnl
Henkin quantifiers and Boolean formulae: A certification perspective of DQBF.
Theor. Comput. Sci.
Valeriy Balabanov, Hui-Ju Katherine Chiang, Jie-Hong R. Jiang
2014 A conf
QBF Resolution Systems and Their Proof Complexities.
SAT
Valeriy Balabanov, Magdalena Widl, Jie-Hong R. Jiang
2013 J jnl
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.
Meng-Kai Hsu, Valeriy Balabanov, Yao-Wen Chang
2012 A conf
Henkin Quantifiers and Boolean Formulae.
SAT
Valeriy Balabanov, Hui-Ju Katherine Chiang, Jie-Hong Roland Jiang
2012 J jnl
Unified QBF certification and its applications.
Formal Methods Syst. Des.
Valeriy Balabanov, Jie-Hong R. Jiang
2011 A* conf
Resolution Proofs and Skolem Functions in QBF Evaluation and Applications.
CAV
Valeriy Balabanov, Jie-Hong R. Jiang
2011 A* conf
TSV-aware analytical placement for 3D IC designs.
DAC
Meng-Kai Hsu, Yao-Wen Chang, Valeriy Balabanov