## Eugene Goldberg

*Testing Satisfiability of CNF Formulas by Computing a Stable Set of Points*

CADE, 2002.

@inproceedings{CADE-2002-Goldberg, author = "Eugene Goldberg", booktitle = "{Proceedings of the 18th International Conference on Automated Deduction}", doi = "10.1007/3-540-45620-1_15", isbn = "3-540-43931-5", pages = "161--180", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Testing Satisfiability of CNF Formulas by Computing a Stable Set of Points}", volume = 2392, year = 2002, }