DMCA

Blocking and other enhancements for bottom-up model generation methods (2006)

by Peter Baumgartner , Renate A. Schmidt
Venue:Third Int. Joint Conference on Automated Reasoning (IJCAR), Springer LNAI
Citations:28 - 15 self