Login / Signup
PaSAT - Parallel SAT-Checking with Lemma Exchange: Implementation and Applications.
Carsten Sinz
Wolfgang Blochinger
Wolfgang Küchlin
Published in:
Electron. Notes Discret. Math. (2001)
Keyphrases
</>
parallel implementation
real time
search strategies
parallel processing
graphics processing units
parallel computers
sat solving
high dimensional
scheduling problem
logic programming
orders of magnitude
satisfiability problem
parallel computation
share information
parallel architecture