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.).
2017
QA76.9.A43
Linked e-resources
Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
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.).
Meeting Name
SAT (Conference) (20th : 2017 : Melbourne, Vic.)
ISBN
9783319662633 (electronic book)
3319662635 (electronic book)
9783319662626
3319662635 (electronic book)
9783319662626
Published
Cham, Switzerland : Springer, 2017.
Language
English
Description
1 online resource (xiii, 476 pages) : illustrations.
Item Number
10.1007/978-3-319-66263-3 doi
Call Number
QA76.9.A43
Dewey Decimal Classification
005.1
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed August 17, 2017).
Added Author
Gaspers, Serge, editor.
Walsh, Toby, editor.
Walsh, Toby, editor.
Series
Lecture notes in computer science ; 10491.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources