Parallel Multithreaded Satisfiability Solver: Design and Implementation.

Yulik Feldman Nachum Dershowitz Ziyad Hanna

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

efficient implementation
design methodology
implementation issues
design process
software architecture
parallel implementation
parallel programming
hardware design
embedded systems
parallel computing
quantified boolean formulas