Document Search Results

from until

Sorting

Found 2 Documents (Results 1–2)

Newest Citations Relevance

Baumgartner, Peter; Schmidt, Renate A.

Blocking and other enhancements for bottom-up model generation methods. (English) Zbl 1468.68279

J. Autom. Reasoning 64, No. 2, 197-251 (2020).

MSC: 68V15 03B35 03B70

Cite Review PDF

Full Text: DOI

OA License

Baumgartner, Peter; Schmidt, Renate A.

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