Vai al contenuto principale della pagina
Titolo: | Theory and Applications of Satisfiability Testing – SAT 2017 [[electronic resource] ] : 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings / / edited by Serge Gaspers, Toby Walsh |
Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Edizione: | 1st ed. 2017. |
Descrizione fisica: | 1 online resource (XIII, 476 p. 68 illus.) |
Disciplina: | 005.1 |
Soggetto topico: | Computer science |
Artificial intelligence | |
Software engineering | |
Operating systems (Computers) | |
Computer engineering | |
Computer networks | |
Numerical analysis | |
Theory of Computation | |
Artificial Intelligence | |
Software Engineering | |
Operating Systems | |
Computer Engineering and Networks | |
Numerical Analysis | |
Persona (resp. second.): | GaspersSerge |
WalshToby | |
Note generali: | Includes index. |
Sommario/riassunto: | This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September 2017. The 22 revised full papers, 5 short papers, and 3 tool papers were carefully reviewed and selected from 64 submissions. The papers are organized in the following topical sections: algorithms, complexity, and lower bounds; clause learning and symmetry handling; maximum satisfiability and minimal correction sets; parallel SAT solving; quantified Boolean formulas; satisfiability modulo theories; and SAT encodings. |
Titolo autorizzato: | Theory and Applications of Satisfiability Testing – SAT 2017 |
ISBN: | 3-319-66263-5 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 996466152603316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |