Christian Posthoff

Publication Activity (10 Years)

Years Active: 1978-2017
Publications (10 Years): 5

Top Topics

Multiple Valued

Boolean Functions

Artificial Intelligence

Top Venues

J. Multiple Valued Log. Soft Comput.

J. Int. Comput. Games Assoc.

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)
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)
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)
Arvind S. Mohais, Rosemarie Mohais, Christopher Ward, Christian Posthoff
Earthquake classifying neural networks trained with random dynamic neighborhood PSOs. GECCO (2007)
Arvind S. Mohais, Rui Mendes, Christopher Ward, Christian Posthoff
Neighborhood Re-structuring in Particle Swarm Optimization. Australian Conference on Artificial Intelligence (2005)
Arvind S. Mohais, Christopher Ward, Christian Posthoff
Randomized directed neighborhoods with edge migration in particle swarm optimization. IEEE Congress on Evolutionary Computation (2004)
Christian Posthoff, Michael Schlosser
Optimal Strategies - Learning from Examples - Boolean Equations. GOSLER Final Report (1995)
Christian Posthoff
Advances in Computer Chess 7. Künstliche Intell. 8 (1) (1994)
Christian Posthoff, Michael Schlosser
Advances in Computer Chess Conference 7. J. Int. Comput. Games Assoc. 16 (3) (1993)
Andreas Günter, Hartmut Dörner, H. Gläser, Bernd Neumann, Christian Posthoff, Hans-Jürgen Sebastian
Wissensbasierte Konfigurierung: Das Projekt PROKON im Überblick. Künstliche Intell. 7 (1) (1993)
Christian Posthoff, Sabine Schumann
Representation of Sets in PROLOG. ICLP Workshop on Logic Programming with Sets (1993)
Christian Posthoff, Detlef Rätz, Michael Schlosser
Architektur eines wissensbasierten Lehrsystem für das Lernen aus Beispielen. INFOS (1993)
Christian Posthoff, Michael Schlosser
Methoden zur Konstruktion von Bewertungsfunktionen. J. Int. Comput. Games Assoc. 15 (2) (1992)
Christian Posthoff, Michael Schlosser, Rainer Staudte
Wissensdarstellung Und -Verarbeitung in Strategischen Spielen. J. Int. Comput. Games Assoc. 15 (3) (1992)
Christian Posthoff
Algorithms for Games. J. Int. Comput. Games Assoc. 11 (2-3) (1988)
Christian Posthoff
Computer Games I. J. Int. Comput. Games Assoc. 11 (2-3) (1988)
Christian Posthoff, Joachim Reiß
The solution of discrete problems by means of ternary representation. Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Christian Posthoff
Die Lösung und Auflösung binärer Gleichungen mit Hilfe des Booleschen Differentialkalküls. J. Inf. Process. Cybern. 14 (1/2) (1978)