Systematic versus Non-systematic Methods for Solving Incremental Satisfiability.

Malek Mouhoub Samira Sadaoui

Published in: IEA/AIE (2004)

Keyphrases

qualitative and quantitative
neural network
preprocessing
search engine
search algorithm
significant improvement
computational cost
methods require
stochastic local search
feature selection
semi supervised
empirical studies
classification method
machine learning methods
search methods