A Parallel Bottom-Up Resolution Algorithm Using Cilk.

Reza Basseda, Rezaul Alam Chowdhury

Browse the full ICTAI paper archive.