SAT-based State Justification with Adaptive Mining of Invariants.

Weixin Wu Michael S. Hsiao

Published in: ITC (2008)

Keyphrases

knowledge discovery
data mining
evolutionary algorithm
sequential patterns
genetic algorithm
search algorithm
state space
domain specific
association rule mining
web mining
mining algorithm