Skip to Content
Wiki Logo
  • Courses
  • Events
  • Internships
  • Journals
  • Patents
  • Products
  • Projects
  • Publications
  • Talks
  • Theses
    • XWikiGuest
      SSO login

    • Home
    • Page Index
    • User Index
    • Application Index

    • Global
    • Languages
      • Default Language
    • What's New
    • Wiki Index
  • English
  • Italiano
  • Log-in
  1. Publication
  2. Chaff: engineering an efficient SAT solver

Chaff: engineering an efficient SAT solver

   page       BibTeX_logo.png       attach   
Cover Card
cover of the publication
pub-cover.jpg

Publications
search • all
Chaff: engineering an efficient SAT solver
— status
published
— sort
paper in proceedings
who
— authors
Matthew W. Moskewicz  •  Conor F. Madigan  •  Ying Zhao  •  Lintao Zhang  •  Sharad Malik
where & when
— publication date
June 2001
— volume
Proceedings of the 38th Annual Design Automation Conference
— pages
530–535
— number of pages
6
— publisher
ACM
BibTeX alignment
— location
Las Vegas, Nevada, USA
URL
URL  •  Open Access URL
— DBLP
conf/dac/MoskewiczMZZM01
— DOI
10.1145/378239.379017
— OpenAlex
W2142785340
ISBN & ISSN
— ISBN
1581132972
local files
cover  •  card
APICe
— origin event
DAC 2001
Partita IVA: 01131710376 — Copyright © 2008–2026 APICe@DISI – PRIVACY
XWiki 17.10.13