Christian+Posthoff

a German mathematician and computer scientist, Ph.D. in 1975 from [|Leipzig University], [|Dr.-Ing. habil.] in 1979 from Chemnitz University of Technology, promoting to assistant professor for [|logic design], since 1983 full professor for CS at TU Chemnitz, and since 1994 professor of CS at the Department of Mathematics and Computer Science, [|University of The West Indies], [|St. Augustine], [|Trinidad and Tobago]. Beside other things, his research interest covers [|Fuzzy Logic] and the [|satisfiability problem] (SAT), also applied to computer chess. In the 80s, Christian Posthoff was co-author of various computer chess books. In 2012, as now retired professor, along with Bernd Steinbach, he solved a [|4-coloring] of 17x17 grids without monochromatic rectangles. || toc =Quote= A Quote from his biography :
 * Home * People * Christian Posthoff**
 * [[image:ChristianPosthoff.jpg width="240" link="http://www.posthoff.de/science/"]] ||~  || **Christian Posthoff**,
 * Christian Posthoff ||~  ||^   ||

=Selected Publications=

1979

 * Christian Posthoff, Bernd Steinbach (**1979**). //Binäre Gleichungen- Algorithmen und Programme (Logic Equations - Algorithms and Programs)// Wissenschaftliche Schriftenreihe der TH [|Karl-Marx-Stadt], Heft 1/1979.
 * Christian Posthoff, Bernd Steinbach (**1979**). //Binäre dynamische Systeme - Algorithmen und Programme (Binary Dynamic Systems - Algorithms and Programs)// Wissenschaftliche Schriftenreihe der TH [|Karl-Marx-Stadt], Heft 8/1979.

1980 ...

 * Christian Posthoff, Michael Schlosser (**1987**). //Schach - eine Wissenschaft? Die Herausbildung// //der wissenschaftlichen Grundlagen des Schachs//, Wissenschaft und fortschritt 5/1987, S. 127 - 130. (German)
 * Christian Posthoff, Günter Reinemann (**1987**). //Computerschach - Schachcomputer//. with cooperation of [|Rainer Knaak], Michael Schlosser, Rainer Staudte, Rüdiger Worbs, [|Akademie-Verlag] Berlin, [|booklooker]

1990 ...

 * Christian Posthoff, Rainer Staudte (**1990**). //Suchverfahren in Prolog// (Teile 1 und 2). Computerschach und Spiele, No. 4, pp. 28-32; No. 5, pp. 32-34. (German)
 * Christian Posthoff, Michael Schlosser (**1992**). //Methoden zur Konstruktion von Bewertungsfunktionen (Methods for the construction of evaluation functions)// GOSLER-Report 07/92, TH Leipzig.
 * Christian Posthoff, Michael Schlosser, Rainer Staudte (**1992**). //Wissensdarstellung und -verarbeitung in strategischen Spielen (Knowledge representation and processing in strategic games)// TU Chemnitz, Preprint Nr. 218/6. Jg./1992.
 * Christian Posthoff (**1992**). //Fuzzy Logics - New Concepts for Computer Chess//? Heuristic Programming in AI 3
 * Christian Posthoff, Michael Schlosser, Jens Zeidler (**1993**). //Search vs. Knowledge? - Search and Knowledge!// In: Proc. 3rd KADS Meeting, Munich, March 8-9 1993, Siemens AG, Corporate Research and Development, 305-326, 1993.
 * Christian Posthoff, Michael Schlosser (**1993**). //Advances in Computer Chess Conference 7//. ICCA Journal, Vol. 16, No. 3
 * Christian Posthoff, Michael Schlosser (**1994**). //Learning from Examples for the Construction of Fuzzy Evaluations//. IEEE World Congress on Computational Intelligence, 26. Juni-2. Juli 1994, Orlando, Florida, Proceedings of Third IEEE International Conference on Fuzzy Systems, Volume 1, S. 368-371.
 * Christian Posthoff, D. Rätz, Michael Schlosser (**1994**). //Fuzzy and Machine Learning Methods// in Innovative Design Proceedings 2nd World Congress on Expert Systems, Lissabon, 10.-14. Januar, 1994, S. 273-277.
 * Christian Posthoff, S. Schawelski, Michael Schlosser (**1994**). //Neural Network Learning in a Chess Endgame Positions//. IEEE World Congress on Computational Intelligence
 * Christian Posthoff, Rainer Staudte, Michael Schlosser (**1994**). //Chess Programming and Computer-Science Education//. Advances in Computer Chess 7
 * Christian Posthoff, Michael Schlosser, Rainer Staudte, Jens Zeidler (**1994**). //Transformations of Knowledge//. Advances in Computer Chess 7

1995 ...

 * Andreas Junghanns, Christian Posthoff, Michael Schlosser (**1995**). //Search with Fuzzy Numbers.// In: Proc. of the FUZZ-IEEE/IFES'95, Yokohama/Japan, 20.-24. März 1995, Vol. II, 979-986.
 * Christian Posthoff, Günter Reinemann, [|Rainer Knaak], Michael Schlosser, Rainer Staudte (**1999**). //Computerschach, Schachcomputer//. [|Harri Deutsch], ISBN-13: 978-3817110377, [|Amazon.de], [|buchpreis24.de]

2000 ...

 * Christian Posthoff, Bernd Steinbach (**2004**). //[|Logic Functions and Equations]//. Binary Models for Computer Science, [|Springer]
 * Christian Posthoff, Michael Schlosser (**2005**). //[|Optimal strategies — Learning from examples — Boolean equations]//. in [|Klaus P. Jantke], [|Steffen Lange] (eds.) (**2005**). [|Algorithmic Learning for Knowledge-Based Systems], [|Lecture Notes in Computer Science] 961, [|Springer]
 * Bernd Steinbach, Christian Posthoff (**2007**). //Set-Based SAT-Solving//. [|pdf]
 * Bernd Steinbach, Christian Posthoff (**2008**). //Combinatorics on the Chess Board – Solutions using Logic Equations//, Workshop Chess and Mathematics, Dresden
 * Christian Posthoff, Bernd Steinbach (**2009**). // [|Logic Functions and Equations]//. Examples and Exercises, [|Springer]

2010 ...

 * Christian Posthoff, Bernd Steinbach (**2010**). //The Solution of Discrete Constraint Problems using Boolean Models - The Use of Ternary Vectors for Parallel SAT-Solving//. [|ICAART Vol. 1], pp. 487-493
 * Bernd Steinbach, Christian Posthoff (**2011**). //Improvements of the Construction of Exact Minimal Covers of Boolean Functions//. [|EUROCAST 2011], pp. 272-279
 * Bernd Steinbach, Christian Posthoff (**2012**). //Extremely Complex 4-Colored Rectangle-Free Grids: Solution of Open Multiple-Valued Problems//. [|ISMVL 2012]
 * Christian Posthoff, Bernd Steinbach (**2014**). //Solving the Game of Sudoku//. ICGA Journal, Vol. 37, No. 2 » Sudoku
 * Christian Posthoff, Bernd Steinbach (**2014**). //How to Solve Bishop-Problems//. ICGA Journal, Vol. 37, No. 3

=External Links=
 * [|Christian Posthoff's homepage]
 * [|Christian Posthoff - University of The West Indies]
 * [|Christian Posthoff] | [|ResearchGate]
 * [|Boolescher Differentialkalkül from Wikipedia.de] (German)
 * [|Computational Complexity: The 17x17 problem SOLVED! (also 18x18)] by [|Bill Gasarch], February 08, 2012
 * [|17×17 4-coloring with no monochromatic rectangles | The Math Less Traveled], February 09, 2012

=References= =What links here?= include page="Christian Posthoff" component="backlinks" limit="60"
 * Up one level**