Certifying Solutions to Permutation Group Problems.
Arjeh M. CohenScott H. MurrayMartin PolletVolker SorgePublished in: CADE (2003)
Keyphrases
- benchmark problems
- optimization problems
- similar problems
- np complete
- computational issues
- optimal solution
- problems involving
- genetic algorithm
- practical solutions
- efficient solutions
- heuristic methods
- test problems
- exact solution
- constraint programming
- solving problems
- approximate solutions
- genetic programming
- linear programming
- case study
- databases
- combinatorial optimisation