Login / Signup

GridSAT: a system for solving satisfiability problems using a computational grid.

Wahid ChrabakhRichard Wolski
Published in: Parallel Comput. (2006)
Keyphrases