Identifying Conflicts in Overconstrained Temporal Problems Mark H. Liffiton, Michael D. Moffitt, Martha E. Pollack, and Karem A. Sakallah University of.
On Finding All Minimally Unsatisfiable Subformulas Mark Liffiton and Karem Sakallah University of Michigan {liffiton, karem}@eecs.umich.edu June 21, 2005.
On Finding All Minimally Unsatisfiable Subformulas
Identifying Conflicts in Overconstrained Temporal Problems