Multi-Resolution on Compressed Sets of Clauses (2000)

Cached

Download Links

by Philippe Chatalic , Laurent Simon
Venue:Proc. of 12th International Conference on Tools with Artificial Intelligence (ICTAI-2000
Citations:31 - 4 self