Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Gent, I.P., Walsh, T. Satisfiability in the Year 2000. Journal of Automated Reasoning 28, 99 (2002). https://doi.org/10.1023/A:1015051815026
Issue Date:
DOI: https://doi.org/10.1023/A:1015051815026