On the inherent necessity of heuristic proofs.
Stuart Harvey RubinShu-Ching ChenJames B. LawGordon K. LeePublished in: SMC (2005)
Keyphrases
- optimal solution
- data sets
- dynamic programming
- tabu search
- theorem proving
- natural deduction
- packing problem
- constraint satisfaction
- exhaustive search
- equational theories
- heuristic solution
- bin packing
- feasible solution
- combinatorial optimization
- simulated annealing
- bayesian networks
- artificial intelligence
- learning algorithm
- real world