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
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski