Parallel propositional satisfiability checking with distributed dynamic learning (2003)

by W BLOCHINGER, C SINZ, W KÜCHLIN
Venue:Parallel Computing