Advertisement

Advanced Boolean Techniques

Selected Papers from the 13th International Workshop on Boolean Problems

  • Rolf Drechsler
  • Mathias Soeken
Book

Table of contents

  1. Front Matter
    Pages i-viii
  2. Tobias Oder, Tobias Schneider, Tim Güneysu
    Pages 21-49
  3. Bernd Steinbach, Christian Posthoff
    Pages 51-82
  4. Radomir S. Stanković, Milena Stanković, Jaakko T. Astola, Claudio Moraga
    Pages 83-105
  5. Oliver Keszocze, Kenneth Schmitz, Jens Schloeter, Rolf Drechsler
    Pages 107-133
  6. Evandro C. Ferraz, Jeferson de Lima Muniz, Alexandre C. R. da Silva, Gerhard W. Dueck
    Pages 135-158
  7. Anna Bernasconi, Fabrizio Luccio, Linda Pagli, Davide Rucci
    Pages 159-175
  8. Heinz Riener, Rüdiger Ehlers, Bruno de O. Schmitt, Giovanni De Micheli
    Pages 177-194
  9. Paweł Kerntopf, Krzysztof Podlaski, Claudio Moraga, Radomir Stanković
    Pages 217-236
  10. Back Matter
    Pages 259-265

About this book

Introduction

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 chapters and a selection of the best papers presented at the 13th annual International Workshop on Boolean Problems.

  • Provides a single-source reference to the state-of-the-art research in the field of logic synthesis and Boolean techniques;
  • Includes a selection of the best papers presented at the 13th annual International Workshop on Boolean Problems;
  • Covers Boolean algebras, Boolean logic, Boolean modeling, Combinatorial Search, Boolean and bitwise arithmetic, Software and tools for the solution of Boolean problems, Applications of Boolean logic and algebras, Applications to real-world problems, Boolean constraint solving, and Extensions of Boolean logic.

Keywords

Logic synthesis Boolean logic Boolean algebra Boolean modeling Combinatorial search

Editors and affiliations

  • Rolf Drechsler
    • 1
  • Mathias Soeken
    • 2
  1. 1.Arbeitsgruppe RechnerarchitekturUniversität BremenBremenGermany
  2. 2.École Polytechnique Fédérale de LausanneLausanneSwitzerland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-20323-8
  • Copyright Information Springer Nature Switzerland AG 2020
  • Publisher Name Springer, Cham
  • eBook Packages Engineering
  • Print ISBN 978-3-030-20322-1
  • Online ISBN 978-3-030-20323-8
  • Buy this book on publisher's site
Industry Sectors
Automotive
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering