Christian Posthoff

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

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

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

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

2007

Earthquake classifying neural networks trained with random dynamic neighborhood PSOs.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2007

2005

Neighborhood Re-structuring in Particle Swarm Optimization.

[BibT_eX]

[DOI]

Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

2004

Randomized directed neighborhoods with edge migration in particle swarm optimization.

[BibT_eX]

[DOI]

Arvind S. Mohais

Christopher Ward

Proceedings of the IEEE Congress on Evolutionary Computation, 2004

1995

Optimal Strategies - Learning from Examples - Boolean Equations.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Learning for Knowledge-Based Systems, GOSLER Final Report, 1995

1994

Advances in Computer Chess 7.

[BibT_eX]

Künstliche Intell., 1994

1993

Wissensbasierte Konfigurierung: Das Projekt PROKON im Überblick.

[BibT_eX]

Hans-Jürgen Sebastian

Künstliche Intell., 1993

Advances in Computer Chess Conference 7.

[BibT_eX]

[DOI]

J. Int. Comput. Games Assoc., 1993

Architektur eines wissensbasierten Lehrsystem für das Lernen aus Beispielen.

[BibT_eX]

[DOI]

Detlef Rätz

Proceedings of the Informatik als Schlüssel zur Qualifikation, 1993

Representation of Sets in PROLOG.

[BibT_eX]

Sabine Schumann

Proceedings of the Workshop on Logic Programming with Sets, 1993

1992

Wissensdarstellung Und -Verarbeitung in Strategischen Spielen.

[BibT_eX]

[DOI]

Rainer Staudte

J. Int. Comput. Games Assoc., 1992

Methoden zur Konstruktion von Bewertungsfunktionen.

[BibT_eX]

[DOI]

J. Int. Comput. Games Assoc., 1992

1988

Computer Games I.

[BibT_eX]

[DOI]

J. Int. Comput. Games Assoc., 1988

Algorithms for Games.

[BibT_eX]

[DOI]

J. Int. Comput. Games Assoc., 1988

1985

The solution of discrete problems by means of ternary representation.

[BibT_eX]

[DOI]

Joachim Reiß

Proceedings of the Mathematical Methods of Specification and Synthesis of Software Systems '85, 1985

1978

Die Lösung und Auflösung binärer Gleichungen mit Hilfe des Booleschen Differentialkalküls.

[BibT_eX]