EmptyHeaded: Boolean Algebra Based Graph Processing.

Christopher R. Aberger Andres Nötzli Kunle Olukotun Christopher Ré

Published in: CoRR (2015)

Keyphrases

boolean algebra
constraint query languages
databases
cardinality constraints
theorem prover
directed acyclic graph