"Extracting Minimum Unsatisfiable Cores with a Greedy Genetic Algorithm."

Jianmin Zhang, Sikun Li, ShengYu Shen (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics