Bernd Steinbach - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 34 from 34

2024

Rectangle-free four-colored square grids realized by cyclic-rotated reusable patternsBernd Steinbach. it, 66(4-5):159-173, 2024. [doi]

2019

Logic Functions and Equations - Binary Models for Computer Science, Second EditionChristian Posthoff, Bernd Steinbach. Springer, 2019. [doi]

2017

A Three-Level Hierarchy of Models for Lattices of Boolean FunctionsBernd Steinbach, Christian Posthoff. eurocast 2018: 238-245 [doi]

Boolean Differential CalculusBernd Steinbach, Christian Posthoff. Synthesis Lectures on Digital Circuits and Systems, Morgan & Claypool Publishers, 2017. [doi]

2016

Multi-valued Problem SolversBernd Steinbach, Stefan Heinrich, Christian Posthoff. ismvl 2016: 264-269 [doi]

2015

Evaluation and Optimization of GPU Based Unate Covering AlgorithmsBernd Steinbach, Christian Posthoff. eurocast 2015: 617-624 [doi]

Highly Complex 4-Colored Rectangle-free Grids - Solution Unsolved Multiple-Valued ProblemsBernd Steinbach, Christian Posthoff. mvl, 24(1-4):369-404, 2015. [doi]

The Last Unsolved Four-Colored Rectangle-Free Grid: The Solution ofExtremely Complex Multiple-Valued ProblemsBernd Steinbach, Christian Posthoff. mvl, 25(4-5):461-490, 2015. [doi]

Alternative Approaches for Fast Boolean Calculations Using the GPUBernd Steinbach, Matthias Werner. In Grzegorz Borowik, Zenon Chaczko, Witold Jacak, Tadeusz Luba, editors, Computational Intelligence and Efficiency in Engineering Systems. Volume 595 of Studies in Computational Intelligence, pages 17-31, Springer, 2015. [doi]

2014

How to Solve Bishop-ProblemsChristian Posthoff, Bernd Steinbach. icga, 37(3):169-177, 2014. [doi]

Solving the Game of SudokuChristian Posthoff, Bernd Steinbach. icga, 37(2):111-116, 2014. [doi]

Multiple-Valued Problem Solvers - Comparison of Several ApproachesBernd Steinbach, Christian Posthoff. ismvl 2014: 25-31 [doi]

Simpler Functions for DecompositionsBernd Steinbach. icseng 2015: 817-823 [doi]

2013

Fast Calculation of Exact Minimal Unate Coverings on Both the CPU and the GPUBernd Steinbach, Christian Posthoff. eurocast 2013: 234-241 [doi]

Solution of the Last Open Four-Colored Rectangle-Free Grid: An Extremely Complex Multiple-Valued ProblemBernd Steinbach, Christian Posthoff. ismvl 2013: 302-309 [doi]

Artificial Intelligence and Creativity - Two Requirements to Solve an Extremely Complex Coloring ProblemBernd Steinbach, Christian Posthoff. icaart 2013: 411-418

Rectangle-Free Colorings of Extremely Complex Grids Using 4 ColorsBernd Steinbach, Christian Posthoff. mvl, 21(5-6):609-625, 2013. [doi]

Boolean Differential EquationsBernd Steinbach, Christian Posthoff. Synthesis Lectures on Digital Circuits and Systems, Morgan & Claypool Publishers, 2013. [doi]

2012

Extremely Complex 4-Colored Rectangle-Free Grids: Solution of Open Multiple-Valued ProblemsBernd Steinbach, Christian Posthoff. ismvl 2012: 37-44 [doi]

2011

Improvements of the Construction of Exact Minimal Covers of Boolean FunctionsBernd Steinbach, Christian Posthoff. eurocast 2012: 272-279 [doi]

2010

A New General Approach to Model Event HandlingDong Liang, Bernd Steinbach. icsea 2010: 14-19 [doi]

The Solution of Discrete Constraint Problems using Boolean Models - The Use of Ternary Vectors for Parallel SAT-SolvingChristian Posthoff, Bernd Steinbach. icaart 2010: 487-493

2009

Complete Sets of Hamiltonian Circuits for Classification of DocumentsBernd Steinbach, Christian Posthoff. eurocast 2009: 526-533 [doi]

2005

Complete Bi-Decomposition of Multiple-Valued Functions Using MIN and MAX GatesBernd Steinbach, Christian Lang. ismvl 2005: 69-74 [doi]

2004

A Model-Based Approach to System-Level Co-DesignThomas Beierlein, Dominik Fröhlich, Bernd Steinbach. mbmv 2004: 86-95

2003

Bi-Decomposition of Function Sets in Multiple-Valued Logic for Circuit Design and Data MiningChristian Lang, Bernd Steinbach. air, 20(3-4):233-267, 2003. [doi]

Exploiting Functional Properties of Boolean Functions for Optimal Multi-Level Design by Bi-DecompositionBernd Steinbach, Christian Lang. air, 20(3-4):319-360, 2003. [doi]

2001

Decomposition of Multi-Valued Functions into Min- and Max-GatesChristian Lang, Bernd Steinbach. ismvl 2001: 173

An Algorithm for Bi-Decomposition of Logic FunctionsAlan Mishchenko, Bernd Steinbach, Marek A. Perkowski. dac 2001: 103-108 [doi]

1999

Bi-Decompositions of Multi-Valued Functions for Circuit Design and Data Mining ApplicationsBernd Steinbach, Marek A. Perkowski, Christian Lang. ismvl 1999: 50-58 [doi]

1994

Design of fully testable circuits by functional decomposition and implicit test pattern generationBernd Steinbach, M. Stockert. vts 1994: 22-27 [doi]

1990

Effiziente Lösung hochdimensionaler BOOLEscher Probleme mittels XBOOLE auf TransputerBernd Steinbach, Nico Kümmling. tat 1991: 127-134

1984

Theorie, Algorithmen und Programme für den rechnergestützten logischen Entwurf digitaler SystemeBernd Steinbach. PhD thesis, Technische Hochschule Karl-Marx-Stadt, Germany, 1984. [doi]

1980

Lösung binärer Differentialgleichungen und ihre Anwendung auf binäre SystemeBernd Steinbach. PhD thesis, Technische Hochschule Karl-Marx-Stadt, Germany, 1980. [doi]

Sign in or sign up to see more results.

runs on WebDSL