Title :
Session 7: SAT solving approaches
Abstract :
Start of the above-titled section of the conference proceedings record.
Conference_Titel :
High-Level Design Validation and Test Workshop, 2004. Ninth IEEE International
Conference_Location :
Sonoma Valley, CA, USA
Print_ISBN :
0-7803-8714-7
DOI :
10.1109/HLDVT.2004.1431253
