DocumentCode :
416297
Title :
AMUSE: a minimally-unsatisfiable subformula extractor
Author :
Oh, Yoonna ; Mneimneh, Maher N. ; Andraus, Zaher S. ; Sakallah, Karem A. ; Markov, Igor L.
Author_Institution :
University of Michigan, Ann Arbor, Ml
fYear :
2004
fDate :
7-11 July 2004
Firstpage :
518
Lastpage :
523
Keywords :
Automotive engineering; Boolean functions; Combinatorial mathematics; Computer bugs; Electronic design automation and methodology; Field programmable gate arrays; Hardware; Polynomials; Routing; Wires;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design Automation Conference, 2004. Proceedings. 41st
Conference_Location :
San Diego, CA, USA
ISSN :
0738-100X
Print_ISBN :
1-51183-828-8
Type :
conf
Filename :
1322536
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=416297
بازگشت