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