Skip to Content

autore :  Madigan

1 pubblicazione
page_white_acrobat Chaff: engineering an efficient SAT solver (DAC 2001) — Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik
[ Nuvola degli autori  /  pubblicazioni ]