SAT problems with chains of dependent variables.
Steven D. PrestwichPublished in: Discret. Appl. Math. (2003)
Keyphrases
- sat problem
- dependent variables
- independent variables
- satisfiability problem
- np complete
- sat solvers
- statistically significant
- phase transition
- constraint satisfaction problems
- multiple regression
- randomly generated
- boolean satisfiability
- college students
- attitudes toward
- sat solving
- regression model
- sat instances
- quantitative and qualitative
- propositional satisfiability
- regression analysis
- hrm practices
- branch and bound
- stochastic local search
- search space
- decision problems
- statistical tests
- united states
- clause learning
- factorial design
- search algorithm
- cellular automata
- online learning