Work

Predicting learnt clauses quality in modern SAT solvers

Year: 2009

Type: article

Authors: Gilles Audemard, Laurent Simon

Institutions: Centre National de la Recherche Scientifique, Centre de Recherche en Informatique de Lens, Université Lille Nord de France, Université Paris-Sud, Institut national de recherche en sciences et technologies du numérique, Laboratoire de Recherche en Informatique

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W78552530

FWCI: 17.84

Cites: 13

Cited by: 498

Related to: 10