Blocking and other enhancements for bottom-up model generation methods. In: Furbach, (2006)

by P Baumgartner, R Schmidt
Venue:Automated Reasoning – Third International Joint Conference on Automated Reasoning (IJCAR).