Christian Posthoff

34 papers A 1B 1Journal 13Unranked 16

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