Checking Unsatisfiability Proofs in Parallel.

Norbert Manthey Tobias Philipp

Published in: POS@SAT (2018)

Keyphrases

theorem prover
parallel processing
parallel execution
theorem proving
shared memory
parallel implementation
massively parallel
database
parallel hardware
general purpose
formal proofs
consistency checking
parallel programming
parallel computing
evolutionary algorithm
website
real world
data sets