Valeriy Balabanov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2011–2016
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | AAAI | Clauses Versus Gates in CEGAR-Based 2QBF Solving. | Valeriy Balabanov, Jie-Hong Roland Jiang, Alan Mishchenko, Christoph Scholl |
| 2016 | SAT | 2QBF: Challenges and Solutions. | Valeriy Balabanov, Jie-Hong Roland Jiang, Christoph Scholl, Alan Mishchenko, Robert K. Brayton |
| 2015 | AAAI | Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs. | Valeriy Balabanov, Jie-Hong Roland Jiang, Mikolas Janota, Magdalena Widl |
| 2015 | SAT | Speeding up MUS Extraction with Preprocessing and Chunking. | Valeriy Balabanov, Alexander Ivrii |
| 2014 | SAT | QBF Resolution Systems and Their Proof Complexities. | Valeriy Balabanov, Magdalena Widl, Jie-Hong R. Jiang |
| 2012 | SAT | Henkin Quantifiers and Boolean Formulae. | Valeriy Balabanov, Hui-Ju Katherine Chiang, Jie-Hong Roland Jiang |
| 2011 | CAV | Resolution Proofs and Skolem Functions in QBF Evaluation and Applications. | Valeriy Balabanov, Jie-Hong R. Jiang |
| 2011 | DAC | TSV-aware analytical placement for 3D IC designs. | Meng-Kai Hsu, Yao-Wen Chang, Valeriy Balabanov |