Satisfiability

Author(s)

• Knuth, Donald Ervin

Bibliographic Information

Satisfiability

Donald E. Knuth

（The art of computer programming, v. 4, fasc. 6）

Addison-Wesley, c2015

• : pbk

Note

"This booklet is fascicle 6 of The art of computer programming, volume 4: Combinatorial algorithms."--Pref

"Newly available sections of the classic work"--Cover

Includes index

Details

• NCID: BB20654124
• ISBN:
  • 9780134397603
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Boston
• Pages/Volumes: viii, 310 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.6
  • DC22 : 005.1
• Subject Headings:
  • LCSH : Computer programming
  • LCSH : Computer algorithms
• Parent Bibliography ID:
  • BA31462376