Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
The Problem History DPLL Resolution WatchLit Conclusion SAT Solvers
 

Summary: The Problem History DPLL Resolution WatchLit Conclusion
SAT Solvers
A Brief Introduction
Marcelo Finger
Department of Computer Science
Instituto de Matem´atica e Estat´istica
Universidade de S~ao Paulo
Marcelo Finger IME-USP
SAT Solvers
The Problem History DPLL Resolution WatchLit Conclusion
Topics
1 The Problem
2 A Brief History of SAT Solvers
3 The DPLL Algorithm
4 DPLL and Resolution
5 Watched Literals
6 Conclusion
Marcelo Finger IME-USP
SAT Solvers
The Problem History DPLL Resolution WatchLit Conclusion

  

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília

 

Collections: Mathematics