Work

An Improved Incremental Algorithm for Generating Prime Implicates

Year: 1999

Type: book-chapter

Source: Artificial intelligence

DOI: 10.1007/978-3-642-60211-5_9

Author: Johan Kleer

Institution: Palo Alto Research Center

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2097412459

FWCI: 7.047

Cites: 13

Cited by: 71

Related to: 10