Work

Chaff: engineering an efficient SAT solver

Year: 2002

Type: conference-paper

Source: ACM/IEEE Design Automation Conference (DAC)

DOI: 10.1109/dac.2001.935565

Authors: M.W. Moskewicz, C.F. Madigan, Y. Zhao, L. Zhang, S. Malik

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

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4233090747

FWCI: 7.031

Cites:

Cited by: 378

Related to: 10