An implementation of the DPLL algorithm
The satisfiability problem (or SAT for short) is a central problem in several fields of computer science, including theoretical computer science, artificial intelligence, hardware design, and formal verification. Because of its inherent difficulty and widespread applications, this problem has been i...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2009
|
| Online Access: | http://spectrum.library.concordia.ca/976566/1/MR63140.pdf Ahmed, Tanbir <http://spectrum.library.concordia.ca/view/creators/Ahmed=3ATanbir=3A=3A.html> (2009) An implementation of the DPLL algorithm. Masters thesis, Concordia University. |