Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Jens Schloeter"'
Publikováno v:
Advanced Boolean Techniques ISBN: 9783030203221
Most modern state-of-the-art Boolean Satisfiability (SAT) solvers are based on the Davis–Putnam–Logemann–Loveland algorithm and exploit techniques like unit propagation and Conflict-Driven Clause Learning (CDCL). Even though this approach prove
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8c9d9262e45cc2f088e1beb362d97c6f
https://doi.org/10.1007/978-3-030-20323-8_5
https://doi.org/10.1007/978-3-030-20323-8_5
Dynamics in Logistics : Twenty-Five Years of Interdisciplinary Logistics Research in Bremen, Germany
This open access book highlights the interdisciplinary aspects of logistics research. Featuring empirical, methodological, and practice-oriented articles, it addresses the modelling, planning, optimization and control of processes. Chiefly focusing o
Autor:
José A. Soto, Andreas Wiese
This book constitutes the proceedings of the 16th Latin American Symposium on Theoretical Informatics, LATIN 2042, which took place in Puerto Varas, Chile, in March 2024. The 44 papers presented in this volume were carefully reviewed and selected fr
Autor:
Jarosław Byrka, Andreas Wiese
This book constitutes the refereed proceedings of the 21st International Workshop on Approximation and Online Algorithms, WAOA 2023, held in Amsterdam, The Netherlands, during September 7–8, 2023The 16 full papers included in this book are care
Autor:
Alberto Del Pia, Volker Kaibel
This book constitutes the refereed proceedings of the 24th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2023, held in Madison, WI, USA, during June 21–23, 2023. The 33 full papers presented were carefully rev
Autor:
Tiziana Calamoneri, Federico Corò
This book constitutes the refereed conference proceedings of the 12th International Conference on Algorithms and Complexity, CIAC 2019, held as a virtual event, in May 2021. The 28 full papers presented together with one invited lecture and 2 two abs
Autor:
Rolf Drechsler, Mathias Soeken
This book describes recent findings in the domain of Boolean logic and Boolean algebra, covering application domains in circuit and system design, but also basic research in mathematics and theoretical computer science. Content includes invited chapt
Autor:
Jurgen von Mahs
Los Angeles, California, and Berlin, Germany, have been dubbed'homeless capitals'for having the largest homeless populations of their respective countries. In Down and Out in Los Angeles and Berlin, Jürgen von Mahs provides an illuminating comparati