Serge Gaspers – författare
Visar alla böcker från författaren Serge Gaspers. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
852 kr
Skickas inom 5-8 vardagar
This book constitutes the proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, held in Cochem, Germany, in February 2024. The 33 full papers presented in this book were carefully reviewed and selected from 81 submissions. The book also contains one invited talk in full paper length. They focus on original research and challenges in foundations of computer science including algorithms, AI-based methods, computational complexity, and formal models.
Del 10491 - Lecture Notes in Computer Science
Theory and Applications of Satisfiability Testing – SAT 2017
20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings
Häftad, Engelska, 2017
538 kr
Skickas inom 10-15 vardagar
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.