Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L.
Anatoly ChebotarevSergey KrivoiPublished in: Ershov Memorial Conference (2006)
Keyphrases
- theoretical analysis
- objective function
- fully automatic
- preprocessing
- high precision
- significant improvement
- cost function
- pairwise
- prior knowledge
- dynamic programming
- experimental evaluation
- detection method
- improved algorithm
- classification method
- k means
- optimization algorithm
- clustering method
- computational cost
- training set
- computational complexity
- language learning
- search algorithm