6 search results - page 2 / 2 » ictai 1997 |
ICTAI
1997
IEEE
13 years 8 months ago
1997
IEEE
The computation of prime implicants has several and significant applications in different areas, including Automated Reasoning, Non-Monotonic Reasoning, Electronic Design Automati...