Seguir
Valeriy Balabanov
Valeriy Balabanov
Two Sigma
Email confirmado em twosigma.com
Título
Citado por
Citado por
Ano
Method of analytical placement with weighted-average wirelength model
V Balabanov, MK Hsu, YW Chang
US Patent 8,689,164, 2014
2382014
Unified QBF certification and its applications
V Balabanov, JHR Jiang
Formal Methods in System Design 41 (1), 45-65, 2012
1542012
TSV-aware analytical placement for 3D IC designs
MK Hsu, YW Chang, V Balabanov
Proceedings of the 48th Design Automation Conference, 664-669, 2011
1192011
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
922013
QBF resolution systems and their proof complexities
V Balabanov, M Widl, JHR Jiang
International Conference on Theory and Applications of Satisfiability …, 2014
832014
Henkin quantifiers and Boolean formulae: A certification perspective of DQBF
V Balabanov, HJK Chiang, JHR Jiang
Theoretical Computer Science 523, 86-100, 2014
552014
Resolution proofs and Skolem functions in QBF evaluation and applications
V Balabanov, JHR Jiang
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
412011
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
332015
2QBF: Challenges and solutions
V Balabanov, JHR Jiang, C Scholl, A Mishchenko, RK Brayton
International Conference on Theory and Applications of Satisfiability …, 2016
182016
Henkin quantifiers and boolean formulae
V Balabanov, HJK Chiang, JHR Jiang
Theory and Applications of Satisfiability Testing–SAT 2012: 15th …, 2012
102012
Reducing satisfiability and reachability to DQBF
V Balabanov, JHR Jiang
Talk given at QBF, 2015
82015
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
62016
Speeding up MUS extraction with preprocessing and chunking
V Balabanov, A Ivrii
International Conference on Theory and Applications of Satisfiability …, 2015
22015
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
Skolem functions computation for CEGAR based QBF solvers
V Balabanov, JR Jiang, C Scholl
QBF, 2015
12015
量詞布林公式之歸結證明系統與正反模型萃取
V Balabanov
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
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20