SATIRE: A New Incremental Satisfiability Engine.

Jesse Whittemore Joonyoung Kim Karem A. Sakallah

Published in: DAC (2001)

Keyphrases

satisfiability problem
incremental learning
np complete
propositional logic
databases
data driven
phase transition
incremental clustering
air fuel ratio
real time
machine learning
incremental algorithms
incremental version
satisfiability testing