Hardware based algorithm for conflict diagnosis in SAT solver.

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

Browse the full AICCSA paper archive.