DMCA

R.: GridSAT: A System for Solving Satisfiability Problems Using a Computational Grid. Parallel Computing 32(9 (2006)

by Wahid Chrabakh , Rich Wolski
Citations:5 - 0 self