A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction.

Jianmin Zhang, ShengYu Shen, Sikun Li

Browse the full ICCSA paper archive.