Work

Alembic: an efficient algorithm for CNF preprocessing

Year: 2007

Type: conference-abstract

Source: ACM/IEEE Design Automation Conference (DAC)

DOI: 10.1145/1278480.1278628

Authors: Hyojung Han, Fabio Somenzi

Institution: University of Colorado Boulder

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2141245565

Cites: 14

Cited by: 32

Related to: 10