Work

Using CSP look-back techniques to solve real-world SAT instances

Year: 1997

Type: article

Authors: Roberto J. Bayardo, Robert Schrag

Institutions: The University of Texas at Austin, Information Extraction & Transport (United States)

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2108637261

FWCI: 29.03

Cites: 14

Cited by: 592

Related to: 10