Skip to Content

DAC 2001

38th Design Automation Conference
Las Vegas, Nevada, USA, 18/06/2001–22/06/2001
works as
origin event for publication
Publication_icon.svg Chaff: engineering an efficient SAT solver (paper in proceedings, 2001) — Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik

Events
search • all
38th Design Automation Conference
— acronym
DAC 2001
— sort
conference
— series
DAC (38, 2001)
where & when
— where
Las Vegas, Nevada, USA
— when
18/06/2001–22/06/2001
URL
DBLP