Probable Consistency Checking for Sets of Propositional Clauses.

Anthony Hunter

Browse the full ECSQARU paper archive.