Eugene C. Freuder. The Many Paths to Satisfaction. In Manfred Meyer, editor, Constraint Processing, Selected Papers. Volume 923 of Lecture Notes in Computer Science, pages 103-119, Springer, 1995.
@inproceedings{Freuder95, title = {The Many Paths to Satisfaction}, author = {Eugene C. Freuder}, year = {1995}, tags = {C++}, researchr = {https://researchr.org/publication/Freuder95}, cites = {0}, citedby = {0}, pages = {103-119}, booktitle = {Constraint Processing, Selected Papers}, editor = {Manfred Meyer}, volume = {923}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-59479-5}, }