A Comparison between SAT and CSP techniques

Other

A Comparison between SAT and CSP techniques

Hachemi Bennaceur

Springer Verlag

01/01/2004

Abstract

Artificial Intelligence

Computer Science

Constraint satisfaction

Satisfiability

Metrics

2 Record Views

Details

Title: A Comparison between SAT and CSP techniques
Creators - without role: Hachemi Bennaceur
Publisher: Springer Verlag
Identifiers: 9916110508331
Academic Unit: Imam Mohammad Ibn Saud Islamic University (IMSIU)
Language: English
Resource Type: Other