Title of article :
Satisfiability of algebraic circuits over sets of natural numbers Original Research Article
Author/Authors :
Christian Gla?er، نويسنده , , Christian Reitwie?ner، نويسنده , , Stephen Travers، نويسنده , , Matthias Waldherr، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2010
Keywords :
Computational complexity , Combinatorial integer circuits , Satisfiability problems
Journal title :
Discrete Applied Mathematics
Journal title :
Discrete Applied Mathematics
