\(\mathcal I\)-SATCHMORE: An improvement of \(\mathcal A\)-SATCHMORE
From MaRDI portal
Publication:1429427
DOI10.1007/BF02948883zbMath1089.68625OpenAlexW1994501213MaRDI QIDQ1429427
Yuyan Chao, Tsuyoshi Nakamura, Hidenori Itoh, Lifeng He
Publication date: 18 May 2004
Published in: Journal of Computer Science and Technology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02948883
Related Items
Uses Software
Cites Work
- An efficient strategy for non-Horn deductive databases
- Generating relevant models
- Schubert's steamroller problem: Formulations and solutions
- Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction
- Positive unit hyperresolution tableaux and their application to minimal model generation
- SATCHMORE: SATCHMO with RElevancy
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item