Computing answers with model elimination
From MaRDI portal
Publication:1402748
DOI10.1016/S0004-3702(96)00042-2zbMath1017.03505MaRDI QIDQ1402748
Peter Baumgartner, Frieder Stolzenburg, Ulrich Furbach
Publication date: 28 August 2003
Published in: Artificial Intelligence (Search for Journal in Brave)
DB lookup for MSC labels failed
Uses Software