Mathematical basis for polySAT implication operator
<|reference_start|>Mathematical basis for polySAT implication operator: The mathematical basis motivating the "implication operator" of the polySAT algorithm and its function is examined. Such is not undertaken with onerous rigor of symbolic mathematics; a more intuitive visual appeal being employed to present some of the mathematical premises underlying function of the implication operator.<|reference_end|>
@article{sauerbier2002mathematical,
    title={Mathematical basis for polySAT implication operator},
    author={Charles Sauerbier},
    journal={arXiv preprint arXiv:cs/0208026},
    year={2002},
    number={S3E-2002-03},
    archivePrefix={arXiv},
    eprint={cs/0208026},
    primaryClass={cs.CC cs.LO}
}