Abstract
In their study of algorithms for reasoning about intervals, Golumbic and Shamir conjectured that a certain class of interval inference problems is intractable (Golumbic and Shamir, J. ACM 40(1993)1108-1133). The conjecture is correct; this paper proves the NP-completeness of the interval satisfiability (ISAT) problem for the domain of relations known as Δ5.
Similar content being viewed by others
References
M.C. Golumbic and R. Shamir, Complexity and algorithms for reasoning about time: A graphtheoretic approach, J. ACM 40(1993)1108–1133.
T.J. Schaefer, The complexity of satisfiability problems,Proc. 10th Ann. ACM Symp. on Theory of Computing (ACM, 1978) pp. 216–226.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Webber, A.B. Proof of the interval satisfiability conjecture. Ann Math Artif Intell 15, 231–238 (1995). https://doi.org/10.1007/BF01534456
Issue Date:
DOI: https://doi.org/10.1007/BF01534456