Work

Vivifying Propositional Clausal Formulae

Year: 2008

Type: conference-paper

Source: HAL

Authors: Cédric Piette, Youssef Hamadi, Lakhdar Saïs

Institutions: Centre de Recherche en Informatique de Lens, Institut national de recherche en sciences et technologies du numérique, Laboratoire d'Informatique de l'École Polytechnique, Microsoft Research (United Kingdom)

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1681144494

FWCI: 1.269

Cites: 13

Cited by: 51

Related to: 10