Rights and permissions
About this article
Cite this article
Gent, I.P., Walsh, T. Satisfiability in the Year 2000. Journal of Automated Reasoning 24, 1–3 (2000). https://doi.org/10.1023/A:1006338702529
Issue Date:
DOI: https://doi.org/10.1023/A:1006338702529