%0 Journal Article %1 journals/corr/abs-0802-1790 %A Zenzo, Silvano Di %D 2008 %J CoRR %K dblp %T SAT Has No Wizards %U http://dblp.uni-trier.de/db/journals/corr/corr0802.html#abs-0802-1790 %V abs/0802.1790

@article{journals/corr/abs-0802-1790, added-at = {2018-08-13T00:00:00.000+0200}, author = {Zenzo, Silvano Di}, biburl = {https://www.bibsonomy.org/bibtex/2fa2b5b8acfc9d7ab30da7a51b07509b1/dblp}, ee = {http://arxiv.org/abs/0802.1790}, interhash = {b1f867ca84a0c8cb015a522e0b6a85c7}, intrahash = {fa2b5b8acfc9d7ab30da7a51b07509b1}, journal = {CoRR}, keywords = {dblp}, timestamp = {2018-08-14T13:51:47.000+0200}, title = {SAT Has No Wizards}, url = {http://dblp.uni-trier.de/db/journals/corr/corr0802.html#abs-0802-1790}, volume = {abs/0802.1790}, year = 2008 }