Work

A new algorithm for computing theory prime implicates compilations

Year: 1996

Type: conference-paper

Source: National Conference on Artificial Intelligence

Authors: Pierre Marquis, Samira Sadaoui

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: W169960730

FWCI: 1.18

Cites: 14

Cited by: 11

Related to: 10