Login / Signup

Satisfiability of algebraic circuits over sets of natural numbers.

Christian GlaßerChristian ReitwießnerStephen D. TraversMatthias Waldherr
Published in: Discret. Appl. Math. (2010)
Keyphrases
  • set theoretic
  • real numbers
  • satisfiability problem
  • real world
  • higher order
  • propositional logic
  • data sets
  • high speed
  • np complete
  • orders of magnitude
  • phase transition
  • circuit design
  • digital circuits
  • logic synthesis