A reconfigurable, pipelined, conflict directed jumping search SAT solver.

Mona Safar, M. Watheq El-Kharashi, Mohamed Shalan, Ashraf Salem

Browse the full DATE paper archive.