Content deleted Content added
m Reflist |
Anomalocaris (talk | contribs) m {{IEEE conferences}} unbulleted; th → the; numbered points within bullets; straight quotes; logical quotes; {{Bare{{ |
||
Line 2:
{{primary sources|date=September 2011}}
{{More references|date=July 2020}}
{{Bare|date=October 2020}}
}}
{{Automation}}
Line 14 ⟶ 15:
*[[International Conference on Computer-Aided Design]]
*[[Asia and South Pacific Design Automation Conference]]
▲2. Manquinho, V. & Marques-Silva J. (2000) “On Using Satisfiability-Based Pruning Techniques in Covering Algorithms,” in Proceedings of the Design, Automation and Test in Europe Conference.
== External links ==
Line 24:
{{Reflist}}
* https://dblp.org/db/conf/date/index.html
* https://download-pdfs.com/v6/preview/?pid=6&offer_id=26&ref_id=34335f6e1fc40068eb49263e5945981f_e6cef1e4_c28f910b&sub1=36572&keyword=Design,%20Automation,%20And%20Test%20In%20Europe#<nowiki/>
{{IEEE conferences}} [[Category:IEEE conferences]]
|