Work

Extending modern SAT solvers for models enumeration

Year: 2014

Type: conference-paper

Source: IEEE International Conference on Information Reuse and Integration (IRI)

DOI: 10.1109/iri.2014.7051971

Authors: Said Jabbour, Jerry Lonlac, Lakhdar Sais, Yakoub Salhi

Institutions: Centre National de la Recherche Scientifique, Centre de Recherche en Informatique de Lens, Université d'Artois

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Agence Nationale de la Recherche

OpenAlex ID: W2067912698

FWCI: 1.706

Cites: 32

Cited by: 23

Related to: 10