Recent progress in the Boolean domain / edited by Bernd Steinbach.

Format:

Book

Contributor:

Steinbach, Bernd, editor.

Language:

English

Subjects (All):

Automatic theorem proving--Congresses.

Automatic theorem proving.

Logic, Symbolic and mathematical--Congresses.

Logic, Symbolic and mathematical.

Physical Description:

1 online resource (458 p.)

Place of Publication:

Newcastle upon Tyne, England : Cambridge Scholars Publishing, 2014.

Language Note:

English

Summary:

In today's world, people are using more and more digital systems in daily life. 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...

Contents:

Contents; List of Figures; List of Tables; Preface; Foreword; Introduction; Exceptionally ComplexBoolean Problems; 1. Boolean Rectangle Problem; 2. Four-Colored Rectangle-FreeGrids; 3. Theoretical and PracticalConcepts; Digital Circuits; 4. Design; 5. Test; Towards Future Technologies; 6. Reversible and Quantum Circuits; Bibliography; List of Authors; Index of Authors

Notes:

"All sections are written from authors who presented their new results at the 10th IWSBP in September 2012 in Freiberg, Germany."

Includes bibliographical references and index.

Description based on online resource; title from PDF title page (ebrary, viewed May 21, 2014).

ISBN:

1-4438-5967-2

OCLC:

879026105