%0 Conference Paper %1 conf/coco/SetoT12 %A Seto, Kazuhisa %A Tamaki, Suguru %B CCC %D 2012 %I IEEE Computer Society %K dblp %P 107-116 %T A Satisfiability Algorithm and Average-Case Hardness for Formulas over the Full Binary Basis. %U http://dblp.uni-trier.de/db/conf/coco/coco2012.html#SetoT12 %@ 978-1-4673-1663-7

@inproceedings{conf/coco/SetoT12, added-at = {2023-09-30T00:00:00.000+0200}, author = {Seto, Kazuhisa and Tamaki, Suguru}, biburl = {https://www.bibsonomy.org/bibtex/2a860d6e8eac9b4b149d4f341221fc705/dblp}, booktitle = {CCC}, crossref = {conf/coco/2012}, ee = {https://doi.ieeecomputersociety.org/10.1109/CCC.2012.29}, interhash = {8f7f44964e2fc712e1d66fdf2e3c5262}, intrahash = {a860d6e8eac9b4b149d4f341221fc705}, isbn = {978-1-4673-1663-7}, keywords = {dblp}, pages = {107-116}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T01:30:55.000+0200}, title = {A Satisfiability Algorithm and Average-Case Hardness for Formulas over the Full Binary Basis.}, url = {http://dblp.uni-trier.de/db/conf/coco/coco2012.html#SetoT12}, year = 2012 }