Theory and Applications of Satisfiability Testing - SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings /

Theory and Applications of Satisfiability Testing - SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Gaspers, Serge. (Editor), Walsh, Toby. (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Theoretical Computer Science and General Issues ; 10491
Subjects:
Computers.
Artificial intelligence.
Software engineering.
Operating systems (Computers).
Computer organization.
Numerical analysis.
Theory of Computation.
Artificial Intelligence.
Software Engineering.
Operating Systems.
Computer Systems Organization and Communication Networks.
Numeric Computing.
Description
Physical Description:XIII, 476 p. 68 illus. : online resource.
ISBN:9783319662633

Similar Items