| Method of analytical placement with weighted-average wirelength model V Balabanov, MK Hsu, YW Chang US Patent 8,689,164, 2014 | 263 | 2014 |
| Unified QBF certification and its applications V Balabanov, JHR Jiang Formal Methods in System Design 41 (1), 45-65, 2012 | 165 | 2012 |
| TSV-aware analytical placement for 3D IC designs MK Hsu, YW Chang, V Balabanov Proceedings of the 48th Design Automation Conference, 664-669, 2011 | 133 | 2011 |
| TSV-aware analytical placement for 3-D IC designs based on a novel weighted-average wirelength model MK Hsu, V Balabanov, YW Chang IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2013 | 107 | 2013 |
| QBF resolution systems and their proof complexities V Balabanov, M Widl, JHR Jiang International Conference on Theory and Applications of Satisfiability …, 2014 | 86 | 2014 |
| Henkin quantifiers and Boolean formulae: A certification perspective of DQBF V Balabanov, HJK Chiang, JHR Jiang Theoretical Computer Science 523, 86-100, 2014 | 59 | 2014 |
| Resolution proofs and Skolem functions in QBF evaluation and applications V Balabanov, JHR Jiang Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 40 | 2011 |
| Efficient extraction of QBF (counter) models from long-distance resolution proofs V Balabanov, JH Jiang, M Janota, M Widl Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 37 | 2015 |
| 2QBF: Challenges and solutions V Balabanov, JHR Jiang, C Scholl, A Mishchenko, RK Brayton International Conference on Theory and Applications of Satisfiability …, 2016 | 19 | 2016 |
| Henkin quantifiers and boolean formulae V Balabanov, HJK Chiang, JHR Jiang Theory and Applications of Satisfiability Testing–SAT 2012: 15th …, 2012 | 11 | 2012 |
| Reducing satisfiability and reachability to DQBF V Balabanov, JHR Jiang Talk given at QBF, 2015 | 10 | 2015 |
| Clauses versus gates in CEGAR-based 2QBF solving V Balabanov, JHR Jiang, A Mishchenko, C Scholl Workshops at the Thirtieth AAAI Conference on Artificial Intelligence, 2016 | 6 | 2016 |
| Speeding up MUS extraction with preprocessing and chunking V Balabanov, A Ivrii International Conference on Theory and Applications of Satisfiability …, 2015 | 2 | 2015 |
| Flexibility and Optimization of QBF Skolem–Herbrand Certificates V Balabanov, SR Lin, JHR Jiang IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2015 | 1 | 2015 |
| Skolem functions computation for CEGAR based QBF solvers V Balabanov, JR Jiang, C Scholl QBF, 2015 | 1 | 2015 |
| 量詞布林公式之歸結證明系統與正反模型萃取 V Balabanov 臺灣大學電子工程學研究所學位論文 2015, 1-140, 2015 | | 2015 |
| 量詞布林公式求解之認證統合 V Balabanov | | 2011 |
| ABC enters SMT competitions 2016. System description. A Mishchenko, RK Brayton, V Balabanov | | |
| SPECIAL SECTION ON THREE-DIMENSIONAL (3-D) INTEGRATED CIRCUITS MK Hsu, V Balabanov, YW Chang, MM Sabry, A Sridhar, J Meng, ... | | |
| H. Beck, T. Eiter, T. Krennwallner:" Inconsistency Managment for Traffic Regulations"; Vortrag: The AAAI 2012 Workshop on Semantic Cities, Toronto, Canada; 23.07. 2012; in … M persönliches intelligentes Mobilitätsservice, HEX Modulare | | |
