Work

Width-based algorithms for SAT and CIRCUIT-SAT (extended abstract)

Year: 2003

Type: article

Source: Theory and Applications of Satisfiability Testing

Authors: Elizabeth Broering, Satyanarayana V. Lokam

Language: English

Topic: Constraint Satisfaction and Optimization

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W132669265

FWCI:

Cites:

Cited by: 3

Related to: 10