Bernd Steinbach

Springer, ISBN: 978-3-030-02419-2, 2019

2017

Boolean Differential Calculus

[BibT_eX]

[DOI]

Synthesis Lectures on Digital Circuits and Systems, Morgan & Claypool Publishers, ISBN: 978-3-031-79892-4, 2017

A Three-Level Hierarchy of Models for Lattices of Boolean Functions.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory - EUROCAST 2017, 2017

2016

Multi-valued Problem Solvers.

[BibT_eX]

[DOI]

Stefan Heinrich

Proceedings of the 46th IEEE International Symposium on Multiple-Valued Logic, 2016

2015

Alternative Approaches for Fast Boolean Calculations Using the GPU.

[BibT_eX]

[DOI]

Matthias Werner

Proceedings of the Computational Intelligence and Efficiency in Engineering Systems, 2015

The Last Unsolved Four-Colored Rectangle-Free Grid: The Solution ofExtremely Complex Multiple-Valued Problems.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2015

Highly Complex 4-Colored Rectangle-free Grids - Solution Unsolved Multiple-Valued Problems.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2015

Evaluation and Optimization of GPU Based Unate Covering Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory - EUROCAST 2015, 2015

2014

How to Solve Bishop-Problems.

[BibT_eX]

[DOI]

J. Int. Comput. Games Assoc., 2014

Solving the Game of Sudoku.

[BibT_eX]

[DOI]

J. Int. Comput. Games Assoc., 2014

Multiple-Valued Problem Solvers - Comparison of Several Approaches.

[BibT_eX]

[DOI]

Proceedings of the IEEE 44th International Symposium on Multiple-Valued Logic, 2014

Simpler Functions for Decompositions.

[BibT_eX]

[DOI]

Proceedings of the Progress in Systems Engineering, 2014

2013

Boolean Differential Equations

[BibT_eX]

[DOI]

Synthesis Lectures on Digital Circuits and Systems, Morgan & Claypool Publishers, ISBN: 978-3-031-79861-0, 2013

Rectangle-Free Colorings of Extremely Complex Grids Using 4 Colors.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2013

Solution of the Last Open Four-Colored Rectangle-Free Grid: An Extremely Complex Multiple-Valued Problem.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE International Symposium on Multiple-Valued Logic, 2013

Artificial Intelligence and Creativity - Two Requirements to Solve an Extremely Complex Coloring Problem.

[BibT_eX]

Proceedings of the ICAART 2013, 2013

Fast Calculation of Exact Minimal Unate Coverings on Both the CPU and the GPU.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory - EUROCAST 2013, 2013

2012

Extremely Complex 4-Colored Rectangle-Free Grids: Solution of Open Multiple-Valued Problems.

[BibT_eX]

[DOI]

Proceedings of the 42nd IEEE International Symposium on Multiple-Valued Logic, 2012

2011

Improvements of the Construction of Exact Minimal Covers of Boolean Functions.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011

2010

A New General Approach to Model Event Handling.

[BibT_eX]

[DOI]

Dong Liang

Proceedings of the Fifth International Conference on Software Engineering Advances, 2010

The Solution of Discrete Constraint Problems using Boolean Models - The Use of Ternary Vectors for Parallel SAT-Solving.

[BibT_eX]

Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1, 2010

2009

Complete Sets of Hamiltonian Circuits for Classification of Documents.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Systems Theory, 2009

2005

Complete Bi-Decomposition of Multiple-Valued Functions Using MIN and MAX Gates.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 2005

2004

A Model-Based Approach to System-Level Co-Design.

[BibT_eX]

Thomas Beierlein

Dominik Fröhlich

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

2003

Exploiting Functional Properties of Boolean Functions for Optimal Multi-Level Design by Bi-Decomposition.

[BibT_eX]

[DOI]

Artif. Intell. Rev., 2003

Bi-Decomposition of Function Sets in Multiple-Valued Logic for Circuit Design and Data Mining.

[BibT_eX]

[DOI]

Artif. Intell. Rev., 2003

UML-Based Co-Design for Run-Time Reconfigurable Architectures.

[BibT_eX]

[DOI]

Dominik Fröhlich

Thomas Beierlein

Proceedings of the Forum on specification and Design Languages, 2003

2001

Decomposition of Multi-Valued Functions into Min- and Max-Gates.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic, 2001

An Algorithm for Bi-Decomposition of Logic Functions.

[BibT_eX]

[DOI]

Alan Mishchenko

Marek A. Perkowski

Proceedings of the 38th Design Automation Conference, 2001

1999

Bi-Decompositions of Multi-Valued Functions for Circuit Design and Data Mining Applications.

[BibT_eX]

[DOI]

Marek A. Perkowski

Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic, 1999

1994

Design of fully testable circuits by functional decomposition and implicit test pattern generation.

[BibT_eX]

[DOI]

M. Stöckert

Proceedings of the 12th IEEE VLSI Test Symposium (VTS'94), 1994

1990

Effiziente Lösung hochdimensionaler BOOLEscher Probleme mittels XBOOLE auf Transputer.

[BibT_eX]

[DOI]

Nico Kümmling

Proceedings of the Parallele Datenverarbeitung mit dem Transputer, 1990

1984

Theorie, Algorithmen und Programme für den rechnergestützten logischen Entwurf digitaler Systeme.

[BibT_eX]

[DOI]

PhD thesis, 1984

1980

Lösung binärer Differentialgleichungen und ihre Anwendung auf binäre Systeme.

[BibT_eX]

[DOI]