Multi-resolution on compressed sets of clauses.

Philippe Chatalic, Laurent Simon

Browse the full ICTAI paper archive.