Theory and Applications of Satisfiability Testing – SAT 2021 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings

Gespeichert in:
Hauptverfasser:
Li, Chu-Min (HerausgeberIn), Manyà, Felip (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer International Publishing Imprint: Springer 2021
Ausgabe:
1st ed. 2021
Umfang:
1 Online-Ressource (XI, 564 p. 95 illus., 70 illus. in color)
text file PDF
Schriftenreihe:
Theoretical Computer Science and General Issues
ISBN:
9783030802233
DOI:
10.1007/978-3-030-80223-3
Schlagworte:
Computers
Architecture, Computer
Artificial intelligence
Computer logic
Microprogramming 
Special purpose computers
Software engineering
Bezugswerke:
Links: