A Gröbner Basis Approach to CNF-Formulae Preprocessing.
Christopher CondratPriyank KallaPublished in: TACAS (2007)
Keyphrases
- preprocessing
- numerically stable
- starting point
- neural network
- post processing
- boolean functions
- preprocessing step
- polynomial equations
- scale space
- preprocessing phase
- methods in computer vision
- preprocessing stage
- knowledge compilation
- sat problem
- search strategies
- image analysis
- optimal solution
- feature extraction