Theory and Applications of Satisfiability Testing SAT 2019 -  - Books - Springer Nature Switzerland AG - 9783030242572 - June 29, 2019
In case cover and title do not match, the title is correct

Theory and Applications of Satisfiability Testing SAT 2019 1st ed. 2019 edition

Price
HK$ 439
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 10 - 16
Add to your iMusic wish list

This book constitutes the refereed proceedings of the 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019, held in Lisbon, Portugal, UK, in July 2019. The 19 revised full papers presented together with 7 short papers were carefully reviewed and selected from 64 submissions.


425 pages, 37 Illustrations, color; 478 Illustrations, black and white; XIV, 425 p. 515 illus., 37 i

Media Books     Book
Released June 29, 2019
ISBN13 9783030242572
Publishers Springer Nature Switzerland AG
Pages 425
Dimensions 150 × 220 × 20 mm   ·   663 g
Language German  
Editor Janota, Mikolas
Editor Lynce, Ines

Mere med samme udgiver