Login / Signup
Efficient Temporal Satisfiability.
E. Allen Emerson
Tom Sadler
Jai Srinivasan
Published in:
J. Log. Comput. (1992)
Keyphrases
</>
artificial intelligence
search engine
computationally efficient
computationally expensive
temporal information
data sets
databases
data mining
optimal solution
lightweight
spatial and temporal
satisfiability problem
temporal patterns
temporal relations
satisfiability testing