The model evolution calculus as a first-order DPLL method
From MaRDI portal
Publication:2389629
DOI10.1016/j.artint.2007.09.005zbMath1182.03034MaRDI QIDQ2389629
Peter Baumgartner, Cesare Tinelli
Publication date: 17 July 2009
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2007.09.005
DB lookup for MSC labels failed
Uses Software