111
click to vote
ICTAI
2008
IEEE
15 years 9 months 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...