Work

Comparing SAT preprocessing techniques

Year: 2002

Type: conference-paper

Source: ePrints Soton (University of Southampton)

Authors: L. Drake, Alan M. Frisch, Inês Lynce, João Marques‐Silva, Timothy R. Walsh

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2614318506

FWCI: 0.292

Cites:

Cited by: 2

Related to: 10