153
click to vote
ICTAI
2008
IEEE
16 years 25 days ago
2008
IEEE
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...