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

Book information

Year

2017

ISBN

978-3-319-66262-6, 3319662627, 978-3-319-66263-3

Language

english

Format

PDF

Filesize

15 MB (15834042 bytes)

Series

Lecture notes in computer science 10491; LNCS sublibrary. SL 1 Theoretical computer science and general issues

Pages

476\476

Time added

2018-02-03 10:00:00