A corrigendum for the optimized-IPIA

DOI10.1006/JSCO.1994.1010zbMATH Open0823.68107OpenAlexW2013369974MaRDI QIDQ1333172

Alex Kean, George K. Tsiknis

Publication date: 29 October 1995

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/75696990f1fee32747972529c4a3e25d0a7ad1f4

zbMATH Keywords

prime implicantsclause management systemstruth maintenance systems

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

This page was built for publication: A corrigendum for the optimized-IPIA

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1333172)