Login / Signup

Computing with Light: toward Parallel Boolean Algebra.

Tom Head
Published in: Int. J. Found. Comput. Sci. (2011)
Keyphrases
  • boolean algebra
  • theorem prover
  • constraint query languages
  • cardinality constraints
  • databases
  • artificial intelligence
  • pattern matching
  • knapsack problem