The Role of the Goal in Solving Hard Computational Problems: Do People Really Optimize?
Sarah CarruthersUlrike StegeMichael E. J. MassonPublished in: J. Probl. Solving (2018)
Keyphrases
- computational problems
- combinatorial problems
- solving hard
- constraint satisfaction problems
- constraint programming
- metaheuristic
- combinatorial optimization
- satisfiability problem
- traveling salesman problem
- phase transition
- exact algorithms
- propositional logic
- search problems
- constraint satisfaction
- reasoning tasks
- branch and bound algorithm
- stochastic local search
- global constraints
- propositional satisfiability
- knowledge base
- np hard
- evolutionary algorithm
- expert systems