Complexity and Algorithms for Reasoning About Time: A Graph-Theoretic Approach (1992)

Cached

Download Links

by Martin Charles Golumbic , Ron Shamir
Citations:86 - 11 self

Active Bibliography

Interval Graphs with Side Constraints – Itsik Pe'er - 1995
5 Satisfiability Problems on Intervals and Unit Intervals – Itsik Pe'er, Ron Shamir - 1997
2 Temporal Reasoning with Constraints – Edward Moshe Schwalb - 1998
2424 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
20 Temporal Constraints: A Survey – Eddie Schwalb, LluĂ­s Vila - 1998
568 A Spatial Logic based on Regions and Connection – David A. Randell, Zhan Cui, Anthony G. Cohn - 1992
820 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
562 Automatic Subspace Clustering of High Dimensional Data – Rakesh Agrawal, Johannes Gehrke, Dimitrios Gunopulos, Prabhakar Raghavan - 2005
528 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994