Variable Minimal Unsatisfiability.

Zhenyu Chen, Decheng Ding

Browse the full TAMC paper archive.