Found 2 Documents (Results 1–2)
Blocking and other enhancements for bottom-up model generation methods. (English) Zbl 1222.68357
Furbach, Ulrich (ed.) et al., Automated reasoning. Third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17–20, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37187-8/pbk). Lecture Notes in Computer Science 4130. Lecture Notes in Artificial Intelligence, 125-139 (2006).
MSC:
68T15
03B35
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (1)
Author
- Baumgartner, Peter (2)
- Schmidt, Renate A. (2)