Logical inference techniques for loop parallelization.

Cosmin E. Oancea Lawrence Rauchwerger

Published in: PLDI (2012)

Keyphrases

logical inference
theorem proving
probabilistic inference
parallel processing
knowledge compilation
domain knowledge
shared memory
logical structure