Skip to Content

DAC 2001

38th Design Automation Conference
Las Vegas, Nevada, USA, 18/06/2001–22/06/2001
funge da
evento origine per pubblicazione
page_white_acrobat Chaff: engineering an efficient SAT solver (articolo in atti, 2001) — Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik

Eventi
ricerca • tutti
38th Design Automation Conference
— acronimo
DAC 2001
— tipo
conferenza
— serie
DAC (38, 2001)
dove e quando
— dove
Las Vegas, Nevada, USA
— quando
18/06/2001–22/06/2001
URL
DBLP