MiniSAT: World fastest SAT solver (2005 and 2006) - PowerPoint PPT Presentation

1 / 17
} ?>
View by Category
About This Presentation
Title:

MiniSAT: World fastest SAT solver (2005 and 2006)

Description:

MiniSAT: World fastest SAT solver (2005 and 2006) Niklas ... Hannibal. 3k var. 1962. DLL. 10 var. 2001. Chaff. 10k var. 1996. SATO. 1k var. 2005-6. Minisat ... – PowerPoint PPT presentation

Number of Views:514
Avg rating:3.0/5.0
Slides: 18
Provided by: tamirh
Learn more at: https://www.cs.cmu.edu
Category:

less

Write a Comment
User Comments (0)
About PowerShow.com