Advanced Boolean techniques: selected papers from the 13th International Workshop on Boolean Problems.

摘要

Boolean functions-functions on the domain of the logical values "true" and "false"-represent a fundamental concept of computer science with applications in many areas, including the design of digital circuits, the specification and verification of hardware and software systems, cryptography, combinatorics, and discrete mathematics. This book presents contributions from the 2018 International Workshop on Boolean Problems, "a bi-annually held and well-established forum to discuss the recent advances on problems related to Boolean logic and Boolean algebra," with a focus on both theoretical foundations and practical applications.