AVAL: An Enumerative Method for SAT.
Gilles AudemardBelaid BenhamouPierre SiegelPublished in: Computational Logic (2000)
Keyphrases
- pairwise
- support vector machine
- high precision
- experimental evaluation
- computational cost
- probabilistic model
- clustering method
- objective function
- significant improvement
- high accuracy
- edge detection
- fully automatic
- neural network
- classification method
- segmentation method
- synthetic data
- detection method
- denoising
- dynamic programming
- cost function
- preprocessing
- similarity measure