Existential Quantification as Incremental SAT.
Jörg BrauerAndy KingJael KrienerPublished in: CAV (2011)
Keyphrases
- incremental learning
- sat solvers
- satisfiability problem
- data driven
- search algorithm
- incremental clustering
- query answering
- propositional satisfiability
- incremental version
- stochastic local search algorithms
- logic programming
- knowledge acquisition
- computational complexity
- single pass
- sat instances
- incremental algorithms
- genetic algorithm