Peter Baumgartner and Renate Schmidt.
Blocking and Other Enhancements for Bottom-Up Model Generation Methods.
Journal of Automated Reasoning, 64:197--251, 2020. [ bib | DOI | http | Abstract ]

 

Peter Baumgartner.
Possible Models Computation and Revision -- A Practical Approach.
In N. Peltier and V. Sofronie-Stokkermans, editors, International Joint Conference on Automated Reasoning, volume 12166 of LNAI, pages 337--355, Cham, 2020. Springer International Publishing.
Copyright Springer Verlag http://www.springer.de/comp/lncs/index.html.
doi 10.1007/978-3-030-79876-5_34. [ bib | .pdf | Abstract ]