共 50 条
[49]
Tailored automation of electronic design projects
[J].
Electronics World,
2023, 128 (2030)
:27-29
[50]
Boolean satisfiability in Electronic Design Automation
[J].
37TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2000,
2000,
:675-680