%0 Conference Paper %1 conf/cie/GlasserJM16 %A Glaßer, Christian %A Jonsson, Peter %A Martin, Barnaby %B CiE %D 2016 %E Beckmann, Arnold %E Bienvenu, Laurent %E Jonoska, Natasa %I Springer %K %P 323-332 %T Circuit Satisfiability and Constraint Satisfaction Around Skolem Arithmetic. %U http://dblp.uni-trier.de/db/conf/cie/cie2016.html#GlasserJM16 %V 9709 %@ 978-3-319-40188-1

@inproceedings{conf/cie/GlasserJM16, added-at = {2023-12-14T15:49:17.000+0100}, author = {Glaßer, Christian and Jonsson, Peter and Martin, Barnaby}, biburl = {https://www.bibsonomy.org/bibtex/243de521ef32d36400723f026a0f213a7/admin}, booktitle = {CiE}, crossref = {conf/cie/2016}, editor = {Beckmann, Arnold and Bienvenu, Laurent and Jonoska, Natasa}, ee = {https://doi.org/10.1007/978-3-319-40189-8_33}, interhash = {eff181056eb7d2b1525bb8813cf3efff}, intrahash = {43de521ef32d36400723f026a0f213a7}, isbn = {978-3-319-40188-1}, keywords = {}, pages = {323-332}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T15:49:17.000+0100}, title = {Circuit Satisfiability and Constraint Satisfaction Around Skolem Arithmetic.}, url = {http://dblp.uni-trier.de/db/conf/cie/cie2016.html#GlasserJM16}, volume = 9709, year = 2016 }