%0 Journal Article %1 journals/corr/cs-CC-9809117 %A Horie, Satoshi %A Watanabe, Osamu %D 1998 %J CoRR %K %T Hard instance generation for SAT %U http://dblp.uni-trier.de/db/journals/corr/corr9809.html#cs-CC-9809117 %V cs.CC/9809117

@article{journals/corr/cs-CC-9809117, added-at = {2023-12-12T21:44:31.000+0100}, author = {Horie, Satoshi and Watanabe, Osamu}, biburl = {https://www.bibsonomy.org/bibtex/27394136da44811a8f6ea02bbdd9e2edf/admin}, ee = {https://arxiv.org/abs/cs/9809117}, interhash = {427f587f93009e34909f8960a16b6949}, intrahash = {7394136da44811a8f6ea02bbdd9e2edf}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T21:44:31.000+0100}, title = {Hard instance generation for SAT}, url = {http://dblp.uni-trier.de/db/journals/corr/corr9809.html#cs-CC-9809117}, volume = {cs.CC/9809117}, year = 1998 }