- CSB - MetaPress - Google - Bing - Yahoo
 | 2005 | |
|---|---|---|
| 1 |      | Yulik Feldman, Nachum Dershowitz, Ziyad Hanna: Parallel Multithreaded Satisfiability Solver: Design and Implementation. Electr. Notes Theor. Comput. Sci. 128(3): 75-90 (2005) |
| 1 | Nachum Dershowitz | [1] |
| 2 | Ziyad Hanna | [1] |