Loading…
A Parallel Bottom-Up Resolution Algorithm Using Cilk
Basseda, Reza, Chowdhury, Rezaul Alam
Published in 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (01.01.2013)
Published in 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (01.01.2013)
Get full text
Conference Proceeding
Journal Article