A complexity index for satisfiability problems

Journal article

Peer reviewed

E Boros, Y Crama, P. L Hammer and M Saks

SIAM journal on computing, Vol.23(1), pp.45-49

1994

Abstract

Applied sciences

Artificial intelligence

Computer science; control theory; systems

Exact sciences and technology

Mathematical programming

Miscellaneous

Operational research and scientific management

Operational research. Management science

9 Record Views

Title: A complexity index for satisfiability problems
Creators: E Boros - Rutgers univ., DIMACS, New Brunswick NJ 08903, United States
Y Crama - Rutgers univ., DIMACS, New Brunswick NJ 08903, United States
P. L Hammer - Rutgers univ., DIMACS, New Brunswick NJ 08903, United States
M Saks - Rutgers univ., DIMACS, New Brunswick NJ 08903, United States
Publication Details: SIAM journal on computing, Vol.23(1), pp.45-49
Date published: 1994
Publisher: Society for Industrial and Applied Mathematics
Academic Unit: Management Science and Information Systems (RBS); Mathematics (SAS)
Language: English
Resource Type: Journal article
Identifiers: 991031665204604646