Satisfiability of Algebraic Circuits over Sets of Natural Numbers.

Christian Glaßer Christian Reitwießner Stephen D. Travers Matthias Waldherr

Published in: FSTTCS (2007)

Keyphrases

set theoretic
real numbers
satisfiability problem
high speed
real world
learning algorithm
computational complexity
np complete
phase transition
artificial systems
np hard
propositional logic
horn clauses
symmetry breaking