Login / Signup

A Complexity Theory Based on Boolean Algebra

Sven SkyumLeslie G. Valiant
Published in: J. ACM (1985)
Keyphrases
  • complexity theory
  • boolean algebra
  • theoretical basis
  • computational geometry
  • constraint query languages
  • cardinality constraints
  • theorem prover
  • set theory