Abstract: These last years, the issue of locating and explaining contradictions inside sets of propositional clauses has received a renewed attention due to the emergence of very efficient SAT solvers ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results