A Parallel Bottom-Up Resolution Algorithm Using Cilk - Basseda, Reza; Chowdhury, Rezaul Alam (2013 IEEE 25th International Conference on Tools with Artificial Intelligence, 2013)
Keywords: Algorithm design and analysis; Algorithms; Artificial intelligence; Bottom-up Reasoning; Conferences; Construction; Expert systems; Knowledge based systems; Logic programming; Multicore processing; Parallel algorithms; Parallel Logic Programming; Parallel programming; Parallel Resolution Algorithm; Platforms; Program processors; Serials