schliz writes: Australian researchers have developed a 'combinatorial optimisation' algorithm called the lazy clause generator, which combines low- and high- level programming techniques to solve problems like rostering, resource allocation and Sudoku. The algorithm is part of Government-funded NICTA's G12 constraint programming project, and could speed industrial decision making processes by "orders of magnitude" — however, its developer does not expect it to replace human managers "because in the end, people want to feel like they're in control of the process".
As far as the laws of mathematics refer to reality, they are not
certain, and as far as they are certain, they do not refer to reality.
-- Albert Einstein