%0 Journal Article %1 SatCirc %A Glaßer, Christian %A Reitwießner, Christian %A Travers, Stephen %A Waldherr, Matthias %D to appear %J Discrete Applied Mathematics %K myown %T Satisfiability of Algebraic Circuits over Sets of Natural Numbers

@article{SatCirc, added-at = {2010-05-21T10:55:43.000+0200}, author = {Glaßer, Christian and Reitwießner, Christian and Travers, Stephen and Waldherr, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/2b37b1810762325bfa256f18bc89193fd/crei}, interhash = {a35959e18baebe50b436a017530419b1}, intrahash = {b37b1810762325bfa256f18bc89193fd}, journal = {Discrete Applied Mathematics}, keywords = {myown}, timestamp = {2010-05-21T10:55:43.000+0200}, title = {Satisfiability of Algebraic Circuits over Sets of Natural Numbers}, year = {to appear} }