Multi-Resolution on Compressed Sets of Clauses (2000)

by P Chatalic, L Simon
Venue:12th International Conference on Tools with Artificial Intelligence (ICTAI ‘00