Valeriy Balabanov
发表
Alexander Ivrii,
Valeriy Balabanov,
2015,
SAT.
Robert K. Brayton,
Jie-Hong Roland Jiang,
Alan Mishchenko,
2016,
SAT.
Jie-Hong Roland Jiang,
Valeriy Balabanov,
J. H. Jiang,
2011,
CAV.
Jie-Hong Roland Jiang,
Valeriy Balabanov,
Shuo-Ren Lin,
2016,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Jie-Hong Roland Jiang,
Hui-Ju Katherine Chiang,
Valeriy Balabanov,
2012,
SAT.
TSV-Aware Analytical Placement for 3-D IC Designs Based on a Novel Weighted-Average Wirelength Model
Yao-Wen Chang,
Meng-Kai Hsu,
Valeriy Balabanov,
2013,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Jie-Hong Roland Jiang,
Valeriy Balabanov,
2012,
Formal Methods Syst. Des..
Jie-Hong Roland Jiang,
Magdalena Widl,
Valeriy Balabanov,
2014,
SAT.
Jie-Hong Roland Jiang,
Alan Mishchenko,
Christoph Scholl,
2016,
AAAI Workshop: Beyond NP.
Yao-Wen Chang,
Meng-Kai Hsu,
Valeriy Balabanov,
2011,
2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).
Jie-Hong Roland Jiang,
Hui-Ju Katherine Chiang,
Valeriy Balabanov,
2014,
Theor. Comput. Sci..
Mikolás Janota,
Jie-Hong Roland Jiang,
Magdalena Widl,
2015,
AAAI.
Robert K. Brayton,
Jie-Hong Roland Jiang,
Alan Mishchenko,
2016
.