Theory and Applications of Satisfiability Testing – SAT 2014 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

Gespeichert in:
1. Verfasser:
Sinz, Carsten
Weitere Verfasser:
Egly, Uwe (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer International Publishing 2014
Umfang:
XXVI, 448 p. 77 illus
ISBN:
9783319092843
ISSN:
0302-9743
Schlagworte:
Erfüllbarkeitsproblem
Boolesche Formel
Computer science
Information theory
Artificial intelligence
Bezugswerke:
Links: