Work

Experimental results on the crossover point in satisfiability problems

Year: 1993

Type: conference-paper

Source: National Conference on Artificial Intelligence

Authors: James M. Crawford, Larry D. Auton

Institution: AT&T (United States)

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1561608403

FWCI: 28.72

Cites: 11

Cited by: 213

Related to: 10