Outlining an elegant solver for 3-SAT
Data Structures and Algorithms
2011-04-12 v3
Abstract
The purpose of this article is to incite clever ways to attack problems. It advocates in favor of more elegant algorithms, in place of brute force (albeit its very well crafted) usages.
Keywords
Cite
@article{arxiv.0905.2213,
title = {Outlining an elegant solver for 3-SAT},
author = {Eduardo Hwang},
journal= {arXiv preprint arXiv:0905.2213},
year = {2011}
}
Comments
This paper has been withdrawn by the author due to its inadequacy, given more structured approaches to the subject