Subscribe to our newsletter:
Picture of Problems and New Solutions in the Boolean Domain

Problems and New Solutions in the Boolean Domain

Editor(s): Bernd Steinbach
Contributors: Fatima Hadjam, Md. Mazder Rahman, Gerhard W. Dueck, Stijn De Baerdemacker, Alexis de Vos, Pawel Kerntopf,
Subject: Social Sciences

Book Description

The Internet of Things is a great new challenge for the development of digital systems. In addition to the increasing number of classical unconnected digital systems, more people are regularly using new electronic devices and software that are controllable and usable by means of the internet. All such systems utilize the elementariness of Boolean values. A Boolean variable can carry only two different Boolean values: FALSE or TRUE (0 or 1), and has the best interference resistance in technical systems. However, a Boolean function exponentially depends on the number of its variables. This exponential complexity is the cause of major problems in the process of design and realization of circuits. According to Moore’s Law, the complexity of digital systems approximately doubles every 18 months. This requires comprehensive knowledge and techniques to solve complex Boolean problems. This book summarizes both new problems and solutions in the Boolean domain in solving such issues.

Part 1 describes powerful new approaches in solving exceptionally complex Boolean problems. Efficient methods contribute to solving problems of extreme complexity. New algorithms and programs utilize the huge number of computing cores of the Graphical Processing Unit and improve the performance of calculations by several orders of magnitude. Part 2 represents several applications of digital systems. Due to the crucial role of the internet, both solutions and open problems regarding the security of these systems are discussed. The exploration of certain properties of such systems leads to a number of efficient solutions, which can be reused in a wide field of applications. Part 3 discusses the scientific basis of future circuit technologies, investigating the need for completely new design methods for the atomic level of quantum computers. This part also concerns itself with reversible circuits as the basis for quantum circuits and specifies important issues regarding future improvements.


ISBN-13: 978-1-4438-8947-6
ISBN-10: 1-4438-8947-4
Date of Publication: 01/05/2016
Pages / Size: 480 / A5
Price: £57.99


Bernd Steinbach studied Information Technology at the University of Technology in Chemnitz, Germany, where he graduated with an MSc in 1973, a PhD in 1981, and a Doctor scientiae technicarum in 1984 for his second doctoral thesis from the Faculty of Electrical Engineering. In 1991, he obtained the Habilitation from the same Faculty. Following this, he worked as a research engineer, developing programs for test pattern generation for computer circuits at the company Robotron. He returned to the Department of Information Technology of the Chemnitz University of Technology as Associate Professor for Design Automation in Logic Design. He is currently, and has been for more than two decades, the head of a group that developed the XBOOLE software system and the head of the Steinbeis Transfer Center of Logic Systems in Chemnitz. He has been a Full Professor of Computer Science/Software Engineering and Programming at the Freiberg University of Mining and Technology since 1992. Professor Steinbach is also the co-author of seven books, and has published more than 200 papers in books, journals and proceedings. He is the initiator and general chair of a biennial series of International Workshops on Boolean Problems (IWSBP), which started in 1994.