On Approaches to Explaining Infeasibility of Sets of Boolean Clauses.

ric Grgoire, Bertrand Mazure, Cdric Piette

Browse the full ICTAI paper archive.