Dependent and Independent Variables in Propositional Satisfiability.
Enrico GiunchigliaMarco MarateaArmando TacchellaPublished in: JELIA (2002)
Keyphrases
- independent variables
- propositional satisfiability
- sat solvers
- propositional logic
- automated reasoning
- constraint programming
- dependent variables
- regression model
- regression analysis
- industrial applications
- statistical tests
- sat problem
- constraint satisfaction
- max sat
- search strategies
- machine learning
- heuristic search
- orders of magnitude
- linear programming
- genetic algorithm