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

Gespeichert in:

Personen und Körperschaften:	Gaspers, Serge (HerausgeberIn), Walsh, Toby (HerausgeberIn)
Titel:	Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings/ edited by Serge Gaspers, Toby Walsh
Format:	E-Book
Sprache:	Englisch
veröffentlicht:	Cham Springer 2017
Gesamtaufnahme:	SpringerLink Springer eBook Collection Lecture notes in computer science ; 10491
Schlagwörter:	Computer organization Computers Computer Science Computer science Software engineering Operating systems (Computers) Numerical analysis Artificial intelligence Computer networks . Computer engineering.
Quelle:	Verbunddaten SWB