Parallelizing DPLL in Haskell.
Till BergerDavid SabelPublished in: Software Engineering (Workshops) (2013)
Keyphrases
- functional programming
- sat solvers
- programming language
- np complete
- propositional logic
- first order logic
- clause learning
- plagiarism detection
- parallel processing
- propositional satisfiability
- distributed memory
- search tree
- functional language
- sat instances
- sat problem
- max sat
- proof procedure
- sat solving
- search algorithm
- parallel computers
- theorem prover
- davis putnam