Date: 2017 / Author/Creator: SAT (Conference), 20th - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Date 2017 Author/Creator SAT (Conference), 20th

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

Editors:: Gaspers, Serge; Walsh, Toby
Other Names:: SAT (Conference), 20th
Record Type:: Book
Extent:: 1 online resource (xiii, 476 pages), illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗