Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Giunchiglia, E., Walsh, T. Satisfiability in the Year 2005. J Autom Reasoning 35, 1–2 (2005). https://doi.org/10.1007/s10817-006-9041-2
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10817-006-9041-2