Skip to Content
Wiki Logo
  • Brevetti
  • Corsi
  • Eventi
  • Presentazioni
  • Prodotti
  • Progetti
  • Pubblicazioni
  • Riviste
  • Tesi
  • Tirocini
    • XWikiGuest
      SSO login

    • Home
    • Indice dei Documenti
    • Rubrica degli Utenti
    • Application Index

    • Global
    • Lingue
      • Lingua predefinita
    • What's New
    • Indice dei Wiki
  • English
  • Italiano
  • Log-in
  1. Pubblicazione
  2. Chaff: engineering an efficient SAT solver

Chaff: engineering an efficient SAT solver

   page       BibTeX_logo.png       attach   
Copertina Anteprima
copertina della pubblicazione
pub-cover.jpg

Pubblicazioni
ricerca • tutte
Chaff: engineering an efficient SAT solver
— stato
pubblicato
— tipo
articolo in atti
chi
— autori
Matthew W. Moskewicz  •  Conor F. Madigan  •  Ying Zhao  •  Lintao Zhang  •  Sharad Malik
dove e quando
— data di pubblicazione
giugno 2001
— volume
Proceedings of the 38th Annual Design Automation Conference
— pagine
530–535
— numero di pagine
6
— editore
ACM
allineamento BibTeX
— luogo
Las Vegas, Nevada, USA
URL
URL  •  URL accesso aperto
— DBLP
conf/dac/MoskewiczMZZM01
— DOI
10.1145/378239.379017
— OpenAlex
W2142785340
ISBN & ISSN
— ISBN
1581132972
file locali
copertina  •  anteprima
APICe
— evento origine
DAC 2001
Partita IVA: 01131710376 — Copyright © 2008–2026 APICe@DISI – PRIVACY
XWiki 17.10.13