Polynomial time algorithm for 3-SAT Examples of use
<|reference_start|>Polynomial time algorithm for 3-SAT Examples of use: The algorithm checks the propositional formulas for patterns of unsatisfiability.<|reference_end|>
@article{gubin2007polynomial,
    title={Polynomial time algorithm for 3-SAT. Examples of use},
    author={Sergey Gubin},
    journal={arXiv preprint arXiv:cs/0703098},
    year={2007},
    archivePrefix={arXiv},
    eprint={cs/0703098},
    primaryClass={cs.CC cs.DM cs.DS cs.LO}
}