Research
Publications
Academic Resources
Software Tools
People
Contact
English
English
中文 (简体)
Zizhen Liu
Latest
A fast test compaction method using dedicated Pure MaxSAT solver embedded in DFT flow
Cite
×