A corrigendum for the optimized-IPIA

DOI10.1006/JSCO.1994.1010MaRDI QIDQ1333172zbMATH OpenOpenAlexFDO

Authors 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

clause management systemsprime implicantstruth maintenance systems

Mathematics Subject Classification ID

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

Recommendations

• An efficient algorithm to generate prime implicants
• scientific article; zbMATH DE number 1390353
• scientific article; zbMATH DE number 3894978
• An SE-tree-based prime implicant generation algorithm

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)