Bernd Steinbach

Publication Activity (10 Years)

Years Active: 1990-2017
Publications (10 Years): 2

Top Venues

ISMVL

J. Multiple Valued Log. Soft Comput.

EUROCAST (2)

J. Int. Comput. Games Assoc.

Technische Hochschule Karl-Marx-Stadt, Germany (PHD)

Education History

Technische Hochschule Karl-Marx-Stadt, Germany

PHD

Technische Hochschule Karl-Marx-Stadt, Germany

PHD

Publications

Bernd Steinbach, Christian Posthoff
A Three-Level Hierarchy of Models for Lattices of Boolean Functions. EUROCAST (2) (2017)
Bernd Steinbach, Stefan Heinrich, Christian Posthoff
Multi-valued Problem Solvers. ISMVL (2016)
Bernd Steinbach, Christian Posthoff
Evaluation and Optimization of GPU Based Unate Covering Algorithms. EUROCAST (2015)
Bernd Steinbach, Christian Posthoff
The Last Unsolved Four-Colored Rectangle-Free Grid: The Solution ofExtremely Complex Multiple-Valued Problems. J. Multiple Valued Log. Soft Comput. 25 (4-5) (2015)
Bernd Steinbach, Christian Posthoff
Highly Complex 4-Colored Rectangle-free Grids - Solution Unsolved Multiple-Valued Problems. J. Multiple Valued Log. Soft Comput. 24 (1-4) (2015)
Bernd Steinbach, Christian Posthoff
Multiple-Valued Problem Solvers - Comparison of Several Approaches. ISMVL (2014)
Bernd Steinbach
Simpler Functions for Decompositions. ICSEng (2014)
Christian Posthoff, Bernd Steinbach
Solving the Game of Sudoku. J. Int. Comput. Games Assoc. 37 (2) (2014)
Christian Posthoff, Bernd Steinbach
How to Solve Bishop-Problems. J. Int. Comput. Games Assoc. 37 (3) (2014)
Bernd Steinbach, Christian Posthoff
Rectangle-Free Colorings of Extremely Complex Grids Using 4 Colors. J. Multiple Valued Log. Soft Comput. 21 (5-6) (2013)
Bernd Steinbach, Christian Posthoff
Artificial Intelligence and Creativity - Two Requirements to Solve an Extremely Complex Coloring Problem. ICAART (2) (2013)
Bernd Steinbach, Christian Posthoff
Fast Calculation of Exact Minimal Unate Coverings on Both the CPU and the GPU. EUROCAST (2) (2013)
Bernd Steinbach, Christian Posthoff
Solution of the Last Open Four-Colored Rectangle-Free Grid: An Extremely Complex Multiple-Valued Problem. ISMVL (2013)
Bernd Steinbach, Christian Posthoff
Extremely Complex 4-Colored Rectangle-Free Grids: Solution of Open Multiple-Valued Problems. ISMVL (2012)
Bernd Steinbach, Christian Posthoff
Improvements of the Construction of Exact Minimal Covers of Boolean Functions. EUROCAST (2) (2011)
Dong Liang, Bernd Steinbach
A New General Approach to Model Event Handling. ICSEA (2010)
Christian Posthoff, Bernd Steinbach
The Solution of Discrete Constraint Problems using Boolean Models - The Use of Ternary Vectors for Parallel SAT-Solving. ICAART (1) (2010)
Bernd Steinbach, Christian Posthoff
Complete Sets of Hamiltonian Circuits for Classification of Documents. EUROCAST (2009)
Bernd Steinbach, Christian Lang
Complete Bi-Decomposition of Multiple-Valued Functions Using MIN and MAX Gates. ISMVL (2005)
Thomas Beierlein, Dominik Fröhlich, Bernd Steinbach
A Model-Based Approach to System-Level Co-Design. MBMV (2004)
Christian Lang, Bernd Steinbach
Bi-Decomposition of Function Sets in Multiple-Valued Logic for Circuit Design and Data Mining. Artif. Intell. Rev. 20 (3-4) (2003)
Bernd Steinbach, Christian Lang
Exploiting Functional Properties of Boolean Functions for Optimal Multi-Level Design by Bi-Decomposition. Artif. Intell. Rev. 20 (3-4) (2003)
Dominik Fröhlich, Bernd Steinbach, Thomas Beierlein
UML-Based Co-Design for Run-Time Reconfigurable Architectures. FDL (2003)
Alan Mishchenko, Bernd Steinbach, Marek A. Perkowski
An Algorithm for Bi-Decomposition of Logic Functions. DAC (2001)
Christian Lang, Bernd Steinbach
Decomposition of Multi-Valued Functions into Min- and Max-Gates. ISMVL (2001)
Bernd Steinbach, Marek A. Perkowski, Christian Lang
Bi-Decompositions of Multi-Valued Functions for Circuit Design and Data Mining Applications. ISMVL (1999)
Bernd Steinbach, M. Stöckert
Design of fully testable circuits by functional decomposition and implicit test pattern generation. VTS (1994)
Bernd Steinbach, Nico Kümmling
Effiziente Lösung hochdimensionaler BOOLEscher Probleme mittels XBOOLE auf Transputer. Transputer-Anwender-Treffen (1990)

Bernd Steinbach.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bernd Steinbach