Search for persons
X
?
Proceedings of the 48th Design Automation Conference ,
3
Using SAT-based Craig interpolation to enlarge clock gating..:
, In:
?
Proceedings of the 2009 Asia and South Pacific Design Automation Conference ,
4
SAT-controlled redundancy addition and removal : a novel..:
, In:
?
Proceedings of the conference on Design, automation and test in Europe ,
5
QuteSAT : a robust circuit-based SAT solver for complex ..:
, In:
?
2023 International Automatic Control Conference (CACS) ,
7
Application of Advanced Fluid Control Technology in Energy ..:
, In:
?
2023 IEEE International Symposium on Circuits and Systems (ISCAS) ,
9