Existing AI techniques can work well on real problems
New kind of CSP: maximum overlap objective function
Approximation algorithm
New probability-based IR algorithms
