Coverart for item
The Resource Complexity classifications of Boolean constraint satisfaction problems, Nadia Creignou, Sanjeev Khanna, Madhu Sudan

Complexity classifications of Boolean constraint satisfaction problems, Nadia Creignou, Sanjeev Khanna, Madhu Sudan

Label
Complexity classifications of Boolean constraint satisfaction problems
Title
Complexity classifications of Boolean constraint satisfaction problems
Statement of responsibility
Nadia Creignou, Sanjeev Khanna, Madhu Sudan
Creator
Contributor
Subject
Language
eng
Cataloging source
DLC
http://library.link/vocab/creatorName
Creignou, Nadia
Index
index present
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
  • Khanna, Sanjeev
  • Sudan, Madhu
Series statement
SIAM monographs on discrete mathematics and applications
http://library.link/vocab/subjectName
  • Computational complexity
  • Constraints (Artificial intelligence)
  • Algebra, Boolean
Label
Complexity classifications of Boolean constraint satisfaction problems, Nadia Creignou, Sanjeev Khanna, Madhu Sudan
Instantiates
Publication
Bibliography note
Includes bibliographical references (p. 97-102) and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
1. Introduction -- 2. Complexity classes -- 3. Boolean constraint satisfaction problems -- 4. Characterizations of constraint functions -- 5. Implementation of functions and reductions -- 6. Classification theorems for decision, counting and quantified problems -- 7. Classification theorems for optimization problems -- 8. Input-restricted constrained satisfaction problems -- 9. The complexity of the meta-problems -- 10. Concluding remarks -- Bibliography -- Index
Control code
ocm45166727
Dimensions
26 cm.
Extent
xii, 106 p.
Isbn
9780898714791
Lccn
00050988
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other control number
9780898714791
Label
Complexity classifications of Boolean constraint satisfaction problems, Nadia Creignou, Sanjeev Khanna, Madhu Sudan
Publication
Bibliography note
Includes bibliographical references (p. 97-102) and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
1. Introduction -- 2. Complexity classes -- 3. Boolean constraint satisfaction problems -- 4. Characterizations of constraint functions -- 5. Implementation of functions and reductions -- 6. Classification theorems for decision, counting and quantified problems -- 7. Classification theorems for optimization problems -- 8. Input-restricted constrained satisfaction problems -- 9. The complexity of the meta-problems -- 10. Concluding remarks -- Bibliography -- Index
Control code
ocm45166727
Dimensions
26 cm.
Extent
xii, 106 p.
Isbn
9780898714791
Lccn
00050988
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other control number
9780898714791

Library Locations

    • Brunswick Library StoreBorrow it
      Liverpool, GB
Processing Feedback ...