Theory and applications of satisfiability testing - SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017 : proceedings

Author(s)

• International Conference on Theory and Applications of Satisfiability Testing
• Gaspers, Serge
• Walsh, Toby

Bibliographic Information

Theory and applications of satisfiability testing - SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017 : proceedings

Serge Gaspers, Toby Walsh (eds.)

（Lecture notes in computer science, 10491 . LNCS sublibrary ; SL1 . Theoretical computer science and general issues）

Springer, c2017

Note

Includes bibliographical references and index

Details

• NCID: BB25794969
• ISBN:
  • 9783319662626
• LCCN: 2017949510
• Country Code: sz
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cham
• Pages/Volumes: xiii, 476 p.
• Size: 24 cm
• Classification:
  • DC23 : 511.3
• Subject Headings:
  • LCSH : Propositional calculus -- Congresses
  • LCSH : Algebra, Boolean -- Congresses
  • LCSH : Computer algorithms -- Congresses
  • LCSH : Decision making -- Congresses
• Parent Bibliography ID:
  • BA00009279