Valeriy Balabanov
Valeriy Balabanov
Dirección de correo verificada de google.com
Título
Citado por
Citado por
Año
Method of analytical placement with weighted-average wirelength model
V Balabanov, MK Hsu, YW Chang
US Patent 8,689,164, 2014
1142014
Unified QBF certification and its applications
V Balabanov, JHR Jiang
Formal Methods in System Design 41 (1), 45-65, 2012
1042012
TSV-aware analytical placement for 3D IC designs
MK Hsu, YW Chang, V Balabanov
Proceedings of the 48th Design Automation Conference, 664-669, 2011
712011
QBF resolution systems and their proof complexities
V Balabanov, M Widl, JHR Jiang
International Conference on Theory and Applications of Satisfiability …, 2014
542014
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
522013
Resolution proofs and Skolem functions in QBF evaluation and applications
V Balabanov, JHR Jiang
International Conference on Computer Aided Verification, 149-164, 2011
362011
Henkin quantifiers and Boolean formulae: A certification perspective of DQBF
V Balabanov, HJK Chiang, JHR Jiang
Theoretical Computer Science 523, 86-100, 2014
352014
Efficient extraction of QBF (counter) models from long-distance resolution proofs
V Balabanov, JHR Jiang, M Janota, M Widl
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
262015
2QBF: Challenges and solutions
V Balabanov, JHR Jiang, C Scholl, A Mishchenko, RK Brayton
International Conference on Theory and Applications of Satisfiability …, 2016
132016
Henkin quantifiers and boolean formulae
V Balabanov, HJK Chiang, JHR Jiang
International Conference on Theory and Applications of Satisfiability …, 2012
112012
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
42016
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
12015
Speeding up MUS extraction with preprocessing and chunking
V Balabanov, A Ivrii
International Conference on Theory and Applications of Satisfiability …, 2015
12015
Skolem functions computation for CEGAR based QBF solvers
V Balabanov, JR Jiang, C Scholl
QBF, 2015
12015
量詞布林公式之歸結證明系統與正反模型萃取
V Balabanov
2015
量詞布林公式求解之認證統合
V Balabanov
臺灣大學電子工程學研究所學位論文, 1-72, 2011
2011
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–18