Temporal Logics on Words with Multiple Data Values.

Ahmet Kara Thomas Schwentick Thomas Zeume

Published in: FSTTCS (2010)

Keyphrases

data sets
database
data points
data collection
temporal logic
training data
data sources
data mining techniques
knowledge discovery
optimal solution
satisfiability problem