ZetaSAT - Boolean SATisfiability solving on Desktop Grids.

Wolfgang Blochinger, W. Westje, Wolfgang Kchlin, Sebastian Wedeniwski

Browse the full CCGRID paper archive.