Bernd Steinbach

35 papers A* 1C 3Misc 1Journal 8Unranked 16
YearRankTypeTitle / Venue / Authors
2024 J jnl
Rectangle-free four-colored square grids realized by cyclic-rotated reusable patterns.
it Inf. Technol.
Bernd Steinbach
2019 — book
Logic Functions and Equations - Binary Models for Computer Science, Second Edition
Christian Posthoff, Bernd Steinbach
2017 — conf
A Three-Level Hierarchy of Models for Lattices of Boolean Functions.
EUROCAST (2)
Bernd Steinbach, Christian Posthoff
2017 — book
Boolean Differential Calculus
Bernd Steinbach, Christian Posthoff
2016 — conf
Multi-valued Problem Solvers.
ISMVL
Bernd Steinbach, Stefan Heinrich, Christian Posthoff
2015 — ch.
Alternative Approaches for Fast Boolean Calculations Using the GPU.
Computational Intelligence and Efficiency in Engineering Systems
Bernd Steinbach, Matthias Werner
2015 — conf
Evaluation and Optimization of GPU Based Unate Covering Algorithms.
EUROCAST
Bernd Steinbach, Christian Posthoff
2015 J jnl
Highly Complex 4-Colored Rectangle-free Grids - Solution Unsolved Multiple-Valued Problems.
J. Multiple Valued Log. Soft Comput.
Bernd Steinbach, Christian Posthoff
2015 J jnl
The Last Unsolved Four-Colored Rectangle-Free Grid: The Solution ofExtremely Complex Multiple-Valued Problems.
J. Multiple Valued Log. Soft Comput.
Bernd Steinbach, Christian Posthoff
2014 J jnl
How to Solve Bishop-Problems.
ICGA J.
Christian Posthoff, Bernd Steinbach
2014 — conf
Multiple-Valued Problem Solvers - Comparison of Several Approaches.
ISMVL
Bernd Steinbach, Christian Posthoff
2014 C conf
Simpler Functions for Decompositions.
ICSEng
Bernd Steinbach
2014 J jnl
Solving the Game of Sudoku.
ICGA J.
Christian Posthoff, Bernd Steinbach
2013 — conf
Artificial Intelligence and Creativity - Two Requirements to Solve an Extremely Complex Coloring Problem.
ICAART (2)
Bernd Steinbach, Christian Posthoff
2013 — book
Boolean Differential Equations
Bernd Steinbach, Christian Posthoff
2013 — conf
Fast Calculation of Exact Minimal Unate Coverings on Both the CPU and the GPU.
EUROCAST (2)
Bernd Steinbach, Christian Posthoff
2013 J jnl
Rectangle-Free Colorings of Extremely Complex Grids Using 4 Colors.
J. Multiple Valued Log. Soft Comput.
Bernd Steinbach, Christian Posthoff
2013 — conf
Solution of the Last Open Four-Colored Rectangle-Free Grid: An Extremely Complex Multiple-Valued Problem.
ISMVL
Bernd Steinbach, Christian Posthoff
2012 — conf
Extremely Complex 4-Colored Rectangle-Free Grids: Solution of Open Multiple-Valued Problems.
ISMVL
Bernd Steinbach, Christian Posthoff
2011 — conf
Improvements of the Construction of Exact Minimal Covers of Boolean Functions.
EUROCAST (2)
Bernd Steinbach, Christian Posthoff
2010 C conf
A New General Approach to Model Event Handling.
ICSEA
Dong Liang, Bernd Steinbach
2010 — conf
The Solution of Discrete Constraint Problems using Boolean Models - The Use of Ternary Vectors for Parallel SAT-Solving.
ICAART (1)
Christian Posthoff, Bernd Steinbach
2009 — conf
Complete Sets of Hamiltonian Circuits for Classification of Documents.
EUROCAST
Bernd Steinbach, Christian Posthoff
2005 — conf
Complete Bi-Decomposition of Multiple-Valued Functions Using MIN and MAX Gates.
ISMVL
Bernd Steinbach, Christian Lang
2004 — conf
A Model-Based Approach to System-Level Co-Design.
MBMV
Thomas Beierlein, Dominik Fröhlich, Bernd Steinbach
2003 J jnl
Bi-Decomposition of Function Sets in Multiple-Valued Logic for Circuit Design and Data Mining.
Artif. Intell. Rev.
Christian Lang, Bernd Steinbach
2003 J jnl
Exploiting Functional Properties of Boolean Functions for Optimal Multi-Level Design by Bi-Decomposition.
Artif. Intell. Rev.
Bernd Steinbach, Christian Lang
2003 C conf
UML-Based Co-Design for Run-Time Reconfigurable Architectures.
FDL
Dominik Fröhlich, Bernd Steinbach, Thomas Beierlein
2001 A* conf
An Algorithm for Bi-Decomposition of Logic Functions.
DAC
Alan Mishchenko, Bernd Steinbach, Marek A. Perkowski
2001 — conf
Decomposition of Multi-Valued Functions into Min- and Max-Gates.
ISMVL
Christian Lang, Bernd Steinbach
1999 — conf
Bi-Decompositions of Multi-Valued Functions for Circuit Design and Data Mining Applications.
ISMVL
Bernd Steinbach, Marek A. Perkowski, Christian Lang
1994 Misc conf
Design of fully testable circuits by functional decomposition and implicit test pattern generation.
VTS
Bernd Steinbach, M. Stöckert
1990 — conf
Effiziente Lösung hochdimensionaler BOOLEscher Probleme mittels XBOOLE auf Transputer.
Transputer-Anwender-Treffen
Bernd Steinbach, Nico Kümmling
1984 — —
Theorie, Algorithmen und Programme für den rechnergestützten logischen Entwurf digitaler Systeme.
Bernd Steinbach
1980 — —
Lösung binärer Differentialgleichungen und ihre Anwendung auf binäre Systeme.
Bernd Steinbach