Work

Efficient Conflict Driven Learning in a Boolean Satisfiability Solver

Year: 2001

Type: article

Authors: Lintao Zhang, Conor F. Madigan, Matthew H. Moskewicz, Sharad Malik

Institutions: Princeton University, Massachusetts Institute of Technology, University of California, Berkeley

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2096307462

FWCI: 37.17

Cites: 116

Cited by: 682

Related to: 10