Work

Knowledge compilation using theory prime implicates

Year: 1995

Type: conference-paper

Source: International Joint Conference on Artificial Intelligence

Author: Pierre Marquis

Institutions: Centre National de la Recherche Scientifique, Institut national de recherche en sciences et technologies du numérique, Laboratoire Lorrain de Recherche en Informatique et ses Applications

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W53280043

FWCI: 4.945

Cites: 22

Cited by: 81

Related to: 10