AI - a personal view
A variant of Reiter's hitting-set algorithm
Automated debugging based on a constraint model of the program and a test case