Valeriy Balabanov

According to our database, Valeriy Balabanov authored at least 12 papers between 2011 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Flexibility and Optimization of QBF Skolem-Herbrand Certificates.

Valeriy Balabanov, Shuo-Ren Lin, Jie-Hong R. Jiang

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

2QBF: Challenges and Solutions.

Valeriy Balabanov, Jie-Hong Roland Jiang, Christoph Scholl, Alan Mishchenko, Robert K. Brayton

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Clauses Versus Gates in CEGAR-Based 2QBF Solving.

Valeriy Balabanov, Jie-Hong Roland Jiang, Alan Mishchenko, Christoph Scholl

Proceedings of the Beyond NP, 2016

2015

Speeding up MUS Extraction with Preprocessing and Chunking.

Valeriy Balabanov, Alexander Ivrii

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

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

Valeriy Balabanov, Jie-Hong Roland Jiang, Mikolas Janota, Magdalena Widl

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Henkin quantifiers and Boolean formulae: A certification perspective of DQBF.

Valeriy Balabanov, Hui-Ju Katherine Chiang, Jie-Hong R. Jiang

Theor. Comput. Sci., 2014

QBF Resolution Systems and Their Proof Complexities.

Valeriy Balabanov, Magdalena Widl, Jie-Hong R. Jiang

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

2013

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 Trans. Comput. Aided Des. Integr. Circuits Syst., 2013

2012

Unified QBF certification and its applications.

Valeriy Balabanov, Jie-Hong R. Jiang

Formal Methods Syst. Des., 2012

Henkin Quantifiers and Boolean Formulae.

Valeriy Balabanov, Hui-Ju Katherine Chiang, Jie-Hong Roland Jiang

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

2011

TSV-aware analytical placement for 3D IC designs.

Meng-Kai Hsu, Yao-Wen Chang, Valeriy Balabanov

Proceedings of the 48th Design Automation Conference, 2011

Resolution Proofs and Skolem Functions in QBF Evaluation and Applications.

Valeriy Balabanov, Jie-Hong R. Jiang

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011