Using the Groebner Basis Algorithm to Find Proofs of Unsatisfiability.
Matthew CleggJeff EdmondsRussell ImpagliazzoPublished in: STOC (1996)
Keyphrases
- improved algorithm
- times faster
- high accuracy
- experimental evaluation
- detection algorithm
- tree structure
- preprocessing
- matching algorithm
- recognition algorithm
- objective function
- optimization algorithm
- dynamic programming
- selection algorithm
- simulated annealing
- classification algorithm
- expectation maximization
- neural network
- significant improvement
- search space
- computational complexity
- optimal solution
- learning algorithm
- data sets
- worst case
- computational cost
- linear programming
- np hard
- bit rate
- computationally efficient
- cost function
- multi objective
- video sequences