25,161
edits
Changes
Created page with "'''Home * People * Christian Posthoff''' FILE:ChristianPosthoff.jpg|border|right|thumb|240px|link=http://www.posthoff.de/science/| Christian Posthoff <ref..."
'''[[Main Page|Home]] * [[People]] * Christian Posthoff'''
[[FILE:ChristianPosthoff.jpg|border|right|thumb|240px|link=http://www.posthoff.de/science/| Christian Posthoff <ref>Image cropped from [http://www.posthoff.de/science/ Christian Posthoff's homepage]</ref> ]]
'''Christian Posthoff''',<br/>
a German mathematician and computer scientist, Ph.D. in 1975 from [https://en.wikipedia.org/wiki/Leipzig_University Leipzig University], [https://en.wikipedia.org/wiki/Habilitation Dr.-Ing. habil.] in 1979 from [[Chemnitz University of Technology]], promoting to assistant professor for [https://en.wikipedia.org/wiki/Logic_synthesis 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 <ref>The Faculty of Science and Agriculture no longer exists, [http://sta.uwi.edu/fsa/dmcs/ Department of Mathematics and Computer Science]</ref>, [https://en.wikipedia.org/wiki/University_of_the_West_Indies University of The West Indies], [https://en.wikipedia.org/wiki/Saint_Augustine,_Trinidad_and_Tobago St. Augustine], [https://en.wikipedia.org/wiki/Trinidad_and_Tobago Trinidad and Tobago] <ref>[https://sta.uwi.edu/fst/dcit/christian.posthoff.asp Christian Posthoff]</ref>. Beside other things, his research interest covers [https://en.wikipedia.org/wiki/Fuzzy_logic Fuzzy Logic] and the [https://en.wikipedia.org/wiki/Boolean_satisfiability_problem 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 <ref>[http://www.researchgate.net/profile/Christian_Posthoff/ Christian Posthoff] | [https://en.wikipedia.org/wiki/ResearchGate ResearchGate]</ref>, along with [[Bernd Steinbach]], he solved a [https://en.wikipedia.org/wiki/Four_color_theorem 4-coloring] of 17x17 grids without monochromatic rectangles <ref>[[Bernd Steinbach]], [[Christian Posthoff]] ('''2012'''). ''Extremely Complex 4-Colored Rectangle-Free Grids: Solution of Open Multiple-Valued Problems''. [http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2012.html#SteinbachP12 ISMVL 2012]</ref> <ref>[http://blog.computationalcomplexity.org/2009/11/17x17-challenge-worth-28900-this-is-not.html Computational Complexity: The 17x17 challenge. Worth $289.00. This is not a joke] by [http://www.cs.umd.edu/~gasarch/ Bill Gasarch], November 30, 2009</ref> <ref>[http://blog.computationalcomplexity.org/2012/02/17x17-problem-solved-also-18x18.html Computational Complexity: The 17x17 problem SOLVED! (also 18x18)] by [http://www.cs.umd.edu/~gasarch/ Bill Gasarch], February 08, 2012</ref> <ref>[http://mathlesstraveled.com/2012/02/09/17x17-4-coloring-with-no-monochromatic-rectangles/ 17×17 4-coloring with no monochromatic rectangles | The Math Less Traveled], February 09, 2012</ref> <ref>[http://www.spiegel.de/wissenschaft/mensch/loesung-des-vierfarbenraetsels-drei-ecken-duerft-ihr-bilden-a-816497.html Lösung des Vierfarbenrätsels: Drei Ecken dürft ihr bilden] by [http://www.spiegel.de/extra/a-632103.html Holger Dambeck], [https://en.wikipedia.org/wiki/Spiegel_Online Spiegel Online], February 22, 2012 (German)</ref>.
=Quote=
A Quote from his biography <ref>[http://sta.uwi.edu/fsa/dmcs/computerscience/staff/cposthoff/biography.pdf Dr.-Ing. habil. Dr. rer. nat. Christian Posthoff - Scientific Biography] (pdf)</ref> :
An independent direction of research activities within AI, investigations of computer chess and other strategic games, arose from my love to chess. My actual research activities mainly concern the application of fuzzy logics for the modeling of human-like ”thinking” methods, the learning from examples, the construction of intelligent tutoring systems, the parallelization of inference mechanisms, systems of diagnosis and configuration. In cooperation with colleagues from directions of mechanical engineering and medicine, I have been supervising the construction of several expert systems. Four times I received the Scientific Award of the [[Chemnitz University of Technology]].
=Selected Publications=
<ref>[http://ilk.uvt.nl/icga/journal/docs/References.pdf ICGA Reference Database] (pdf)</ref> <ref>[http://www.informatik.tu-freiberg.de/index.php?option=com_content&task=view&id=35&Itemid=63 Prof. Steinbach Publikationen]</ref> <ref>[http://www.informatik.uni-trier.de/~ley/pers/hd/p/Posthoff:Christian.html DBLP: Christian Posthoff]</ref>
==1979==
* [[Christian Posthoff]], [[Bernd Steinbach]] ('''1979'''). ''Binäre Gleichungen- Algorithmen und Programme (Logic Equations - Algorithms and Programs)'' Wissenschaftliche Schriftenreihe der TH [https://en.wikipedia.org/wiki/Chemnitz 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 [https://en.wikipedia.org/wiki/Chemnitz 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 [https://en.wikipedia.org/wiki/Rainer_Knaak Rainer Knaak], [[Michael Schlosser]], [[Rainer Staudte]], [[Rüdiger Worbs]], [https://de.wikipedia.org/wiki/Akademie-Verlag Akademie-Verlag] Berlin, [http://www.booklooker.de/B%C3%BCcher/Christian-Posthoff+Computerschach-Schachcomputer/id/A01gtDDV01ZZ6 booklooker] <ref>[[Dap Hartmann]] ('''1988'''). ''Christian Posthoff and Günter Reinemann: Computerschach - Schachcomputer''. [[ICGA Journal#11_1|ICCA Journal, Vol. 11, No. 1]] (Review)</ref>
==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)'' [[Chemnitz University of Technology|TU Chemnitz]], Preprint Nr. 218/6. Jg./1992.
* [[Christian Posthoff]] ('''1992'''). ''Fuzzy Logics - New Concepts for Computer Chess''? [[3rd Computer Olympiad#Workshop|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 7|Advances in Computer Chess Conference 7]]''. [[ICGA Journal#16_3|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]], [https://en.wikipedia.org/wiki/Rainer_Knaak Rainer Knaak], [[Michael Schlosser]], [[Rainer Staudte]] ('''1999'''). ''Computerschach, Schachcomputer''. [http://de.wikipedia.org/wiki/Verlag_Harri_Deutsch Harri Deutsch], ISBN-13: 978-3817110377, [http://www.amazon.de/Computerschach-Schachcomputer-Christian-Posthoff/dp/3817110375 Amazon.de], [http://www.buchpreis24.de/isbn/9783817110377 buchpreis24.de]
==2000 ...==
* [[Christian Posthoff]], [[Bernd Steinbach]] ('''2004'''). ''[http://www.springer.com/engineering/electronics/book/978-1-4020-2937-0 Logic Functions and Equations]''. Binary Models for Computer Science, [https://en.wikipedia.org/wiki/Springer_Science%2BBusiness_Media Springer]
* [[Christian Posthoff]], [[Michael Schlosser]] ('''2005'''). ''[http://link.springer.com/chapter/10.1007%2F3-540-60217-8_17 Optimal strategies — Learning from examples — Boolean equations]''. in [https://www.researchgate.net/profile/Klaus_Jantke Klaus P. Jantke], [https://www.fbi.h-da.de/organisation/personen/lange-steffen.html Steffen Lange] (eds.) ('''2005'''). [http://link.springer.com/book/10.1007/3-540-60217-8 Algorithmic Learning for Knowledge-Based Systems], [https://en.wikipedia.org/wiki/Lecture_Notes_in_Computer_Science Lecture Notes in Computer Science] 961, [https://en.wikipedia.org/wiki/Springer_Science%2BBusiness_Media Springer]
* [[Bernd Steinbach]], [[Christian Posthoff]] ('''2007'''). ''Set-Based SAT-Solving''. [http://www.informatik.tu-freiberg.de/prof2/publikationen/JFUN_SBSS_2007.pdf pdf]
* [[Bernd Steinbach]], [[Christian Posthoff]] ('''2008'''). ''Combinatorics on the Chess Board – Solutions using Logic Equations'', [[Workshop Chess and Mathematics]], Dresden <ref>[http://www.math.tu-dresden.de/num/chess2008/index-en.html CHESS AND MATHEMATICS - Workshop Dresden, 21st - 23rd November 2008]</ref> <ref>[http://www.math.tu-dresden.de/num/chess2008/abstracts.pdf Workshop Chess and Mathematics] (pdf) agenda and abstracts</ref>
* [[Christian Posthoff]], [[Bernd Steinbach]] ('''2009'''). '' [http://www.springer.com/computer/foundations/book/978-1-4020-9594-8 Logic Functions and Equations]''. Examples and Exercises, [https://en.wikipedia.org/wiki/Springer_Science%2BBusiness_Media 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''. [http://www.informatik.uni-trier.de/~ley/db/conf/icaart/icaart2010-1.html#PosthoffS10 ICAART Vol. 1], pp. 487-493
* [[Bernd Steinbach]], [[Christian Posthoff]] ('''2011'''). ''Improvements of the Construction of Exact Minimal Covers of Boolean Functions''. [http://www.informatik.uni-trier.de/~ley/db/conf/eurocast/eurocast2011-2.html#SteinbachP11 EUROCAST 2011], pp. 272-279
* [[Bernd Steinbach]], [[Christian Posthoff]] ('''2012'''). ''Extremely Complex 4-Colored Rectangle-Free Grids: Solution of Open Multiple-Valued Problems''. [http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2012.html#SteinbachP12 ISMVL 2012]
* [[Christian Posthoff]], [[Bernd Steinbach]] ('''2014'''). ''Solving the Game of Sudoku''. [[ICGA Journal#37_2|ICGA Journal, Vol. 37, No. 2]] » [[Sudoku]]
* [[Christian Posthoff]], [[Bernd Steinbach]] ('''2014'''). ''How to Solve Bishop-Problems''. [[ICGA Journal#37_3|ICGA Journal, Vol. 37, No. 3]]
=External Links=
* [http://www.posthoff.de/science/ Christian Posthoff's homepage]
* [https://sta.uwi.edu/fst/dcit/christian.posthoff.asp Christian Posthoff - University of The West Indies]
* [http://www.researchgate.net/profile/Christian_Posthoff/ Christian Posthoff] | [https://en.wikipedia.org/wiki/ResearchGate ResearchGate]
* [http://de.wikipedia.org/wiki/Boolescher_Differentialkalk%C3%BCl Boolescher Differentialkalkül from Wikipedia.de] (German)
* [http://blog.computationalcomplexity.org/2012/02/17x17-problem-solved-also-18x18.html Computational Complexity: The 17x17 problem SOLVED! (also 18x18)] by [http://www.cs.umd.edu/~gasarch/ Bill Gasarch], February 08, 2012
* [http://mathlesstraveled.com/2012/02/09/17x17-4-coloring-with-no-monochromatic-rectangles/ 17×17 4-coloring with no monochromatic rectangles | The Math Less Traveled], February 09, 2012
=References=
<references />
'''[[People|Up one level]]'''
[[FILE:ChristianPosthoff.jpg|border|right|thumb|240px|link=http://www.posthoff.de/science/| Christian Posthoff <ref>Image cropped from [http://www.posthoff.de/science/ Christian Posthoff's homepage]</ref> ]]
'''Christian Posthoff''',<br/>
a German mathematician and computer scientist, Ph.D. in 1975 from [https://en.wikipedia.org/wiki/Leipzig_University Leipzig University], [https://en.wikipedia.org/wiki/Habilitation Dr.-Ing. habil.] in 1979 from [[Chemnitz University of Technology]], promoting to assistant professor for [https://en.wikipedia.org/wiki/Logic_synthesis 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 <ref>The Faculty of Science and Agriculture no longer exists, [http://sta.uwi.edu/fsa/dmcs/ Department of Mathematics and Computer Science]</ref>, [https://en.wikipedia.org/wiki/University_of_the_West_Indies University of The West Indies], [https://en.wikipedia.org/wiki/Saint_Augustine,_Trinidad_and_Tobago St. Augustine], [https://en.wikipedia.org/wiki/Trinidad_and_Tobago Trinidad and Tobago] <ref>[https://sta.uwi.edu/fst/dcit/christian.posthoff.asp Christian Posthoff]</ref>. Beside other things, his research interest covers [https://en.wikipedia.org/wiki/Fuzzy_logic Fuzzy Logic] and the [https://en.wikipedia.org/wiki/Boolean_satisfiability_problem 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 <ref>[http://www.researchgate.net/profile/Christian_Posthoff/ Christian Posthoff] | [https://en.wikipedia.org/wiki/ResearchGate ResearchGate]</ref>, along with [[Bernd Steinbach]], he solved a [https://en.wikipedia.org/wiki/Four_color_theorem 4-coloring] of 17x17 grids without monochromatic rectangles <ref>[[Bernd Steinbach]], [[Christian Posthoff]] ('''2012'''). ''Extremely Complex 4-Colored Rectangle-Free Grids: Solution of Open Multiple-Valued Problems''. [http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2012.html#SteinbachP12 ISMVL 2012]</ref> <ref>[http://blog.computationalcomplexity.org/2009/11/17x17-challenge-worth-28900-this-is-not.html Computational Complexity: The 17x17 challenge. Worth $289.00. This is not a joke] by [http://www.cs.umd.edu/~gasarch/ Bill Gasarch], November 30, 2009</ref> <ref>[http://blog.computationalcomplexity.org/2012/02/17x17-problem-solved-also-18x18.html Computational Complexity: The 17x17 problem SOLVED! (also 18x18)] by [http://www.cs.umd.edu/~gasarch/ Bill Gasarch], February 08, 2012</ref> <ref>[http://mathlesstraveled.com/2012/02/09/17x17-4-coloring-with-no-monochromatic-rectangles/ 17×17 4-coloring with no monochromatic rectangles | The Math Less Traveled], February 09, 2012</ref> <ref>[http://www.spiegel.de/wissenschaft/mensch/loesung-des-vierfarbenraetsels-drei-ecken-duerft-ihr-bilden-a-816497.html Lösung des Vierfarbenrätsels: Drei Ecken dürft ihr bilden] by [http://www.spiegel.de/extra/a-632103.html Holger Dambeck], [https://en.wikipedia.org/wiki/Spiegel_Online Spiegel Online], February 22, 2012 (German)</ref>.
=Quote=
A Quote from his biography <ref>[http://sta.uwi.edu/fsa/dmcs/computerscience/staff/cposthoff/biography.pdf Dr.-Ing. habil. Dr. rer. nat. Christian Posthoff - Scientific Biography] (pdf)</ref> :
An independent direction of research activities within AI, investigations of computer chess and other strategic games, arose from my love to chess. My actual research activities mainly concern the application of fuzzy logics for the modeling of human-like ”thinking” methods, the learning from examples, the construction of intelligent tutoring systems, the parallelization of inference mechanisms, systems of diagnosis and configuration. In cooperation with colleagues from directions of mechanical engineering and medicine, I have been supervising the construction of several expert systems. Four times I received the Scientific Award of the [[Chemnitz University of Technology]].
=Selected Publications=
<ref>[http://ilk.uvt.nl/icga/journal/docs/References.pdf ICGA Reference Database] (pdf)</ref> <ref>[http://www.informatik.tu-freiberg.de/index.php?option=com_content&task=view&id=35&Itemid=63 Prof. Steinbach Publikationen]</ref> <ref>[http://www.informatik.uni-trier.de/~ley/pers/hd/p/Posthoff:Christian.html DBLP: Christian Posthoff]</ref>
==1979==
* [[Christian Posthoff]], [[Bernd Steinbach]] ('''1979'''). ''Binäre Gleichungen- Algorithmen und Programme (Logic Equations - Algorithms and Programs)'' Wissenschaftliche Schriftenreihe der TH [https://en.wikipedia.org/wiki/Chemnitz 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 [https://en.wikipedia.org/wiki/Chemnitz 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 [https://en.wikipedia.org/wiki/Rainer_Knaak Rainer Knaak], [[Michael Schlosser]], [[Rainer Staudte]], [[Rüdiger Worbs]], [https://de.wikipedia.org/wiki/Akademie-Verlag Akademie-Verlag] Berlin, [http://www.booklooker.de/B%C3%BCcher/Christian-Posthoff+Computerschach-Schachcomputer/id/A01gtDDV01ZZ6 booklooker] <ref>[[Dap Hartmann]] ('''1988'''). ''Christian Posthoff and Günter Reinemann: Computerschach - Schachcomputer''. [[ICGA Journal#11_1|ICCA Journal, Vol. 11, No. 1]] (Review)</ref>
==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)'' [[Chemnitz University of Technology|TU Chemnitz]], Preprint Nr. 218/6. Jg./1992.
* [[Christian Posthoff]] ('''1992'''). ''Fuzzy Logics - New Concepts for Computer Chess''? [[3rd Computer Olympiad#Workshop|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 7|Advances in Computer Chess Conference 7]]''. [[ICGA Journal#16_3|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]], [https://en.wikipedia.org/wiki/Rainer_Knaak Rainer Knaak], [[Michael Schlosser]], [[Rainer Staudte]] ('''1999'''). ''Computerschach, Schachcomputer''. [http://de.wikipedia.org/wiki/Verlag_Harri_Deutsch Harri Deutsch], ISBN-13: 978-3817110377, [http://www.amazon.de/Computerschach-Schachcomputer-Christian-Posthoff/dp/3817110375 Amazon.de], [http://www.buchpreis24.de/isbn/9783817110377 buchpreis24.de]
==2000 ...==
* [[Christian Posthoff]], [[Bernd Steinbach]] ('''2004'''). ''[http://www.springer.com/engineering/electronics/book/978-1-4020-2937-0 Logic Functions and Equations]''. Binary Models for Computer Science, [https://en.wikipedia.org/wiki/Springer_Science%2BBusiness_Media Springer]
* [[Christian Posthoff]], [[Michael Schlosser]] ('''2005'''). ''[http://link.springer.com/chapter/10.1007%2F3-540-60217-8_17 Optimal strategies — Learning from examples — Boolean equations]''. in [https://www.researchgate.net/profile/Klaus_Jantke Klaus P. Jantke], [https://www.fbi.h-da.de/organisation/personen/lange-steffen.html Steffen Lange] (eds.) ('''2005'''). [http://link.springer.com/book/10.1007/3-540-60217-8 Algorithmic Learning for Knowledge-Based Systems], [https://en.wikipedia.org/wiki/Lecture_Notes_in_Computer_Science Lecture Notes in Computer Science] 961, [https://en.wikipedia.org/wiki/Springer_Science%2BBusiness_Media Springer]
* [[Bernd Steinbach]], [[Christian Posthoff]] ('''2007'''). ''Set-Based SAT-Solving''. [http://www.informatik.tu-freiberg.de/prof2/publikationen/JFUN_SBSS_2007.pdf pdf]
* [[Bernd Steinbach]], [[Christian Posthoff]] ('''2008'''). ''Combinatorics on the Chess Board – Solutions using Logic Equations'', [[Workshop Chess and Mathematics]], Dresden <ref>[http://www.math.tu-dresden.de/num/chess2008/index-en.html CHESS AND MATHEMATICS - Workshop Dresden, 21st - 23rd November 2008]</ref> <ref>[http://www.math.tu-dresden.de/num/chess2008/abstracts.pdf Workshop Chess and Mathematics] (pdf) agenda and abstracts</ref>
* [[Christian Posthoff]], [[Bernd Steinbach]] ('''2009'''). '' [http://www.springer.com/computer/foundations/book/978-1-4020-9594-8 Logic Functions and Equations]''. Examples and Exercises, [https://en.wikipedia.org/wiki/Springer_Science%2BBusiness_Media 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''. [http://www.informatik.uni-trier.de/~ley/db/conf/icaart/icaart2010-1.html#PosthoffS10 ICAART Vol. 1], pp. 487-493
* [[Bernd Steinbach]], [[Christian Posthoff]] ('''2011'''). ''Improvements of the Construction of Exact Minimal Covers of Boolean Functions''. [http://www.informatik.uni-trier.de/~ley/db/conf/eurocast/eurocast2011-2.html#SteinbachP11 EUROCAST 2011], pp. 272-279
* [[Bernd Steinbach]], [[Christian Posthoff]] ('''2012'''). ''Extremely Complex 4-Colored Rectangle-Free Grids: Solution of Open Multiple-Valued Problems''. [http://www.informatik.uni-trier.de/~ley/db/conf/ismvl/ismvl2012.html#SteinbachP12 ISMVL 2012]
* [[Christian Posthoff]], [[Bernd Steinbach]] ('''2014'''). ''Solving the Game of Sudoku''. [[ICGA Journal#37_2|ICGA Journal, Vol. 37, No. 2]] » [[Sudoku]]
* [[Christian Posthoff]], [[Bernd Steinbach]] ('''2014'''). ''How to Solve Bishop-Problems''. [[ICGA Journal#37_3|ICGA Journal, Vol. 37, No. 3]]
=External Links=
* [http://www.posthoff.de/science/ Christian Posthoff's homepage]
* [https://sta.uwi.edu/fst/dcit/christian.posthoff.asp Christian Posthoff - University of The West Indies]
* [http://www.researchgate.net/profile/Christian_Posthoff/ Christian Posthoff] | [https://en.wikipedia.org/wiki/ResearchGate ResearchGate]
* [http://de.wikipedia.org/wiki/Boolescher_Differentialkalk%C3%BCl Boolescher Differentialkalkül from Wikipedia.de] (German)
* [http://blog.computationalcomplexity.org/2012/02/17x17-problem-solved-also-18x18.html Computational Complexity: The 17x17 problem SOLVED! (also 18x18)] by [http://www.cs.umd.edu/~gasarch/ Bill Gasarch], February 08, 2012
* [http://mathlesstraveled.com/2012/02/09/17x17-4-coloring-with-no-monochromatic-rectangles/ 17×17 4-coloring with no monochromatic rectangles | The Math Less Traveled], February 09, 2012
=References=
<references />
'''[[People|Up one level]]'''
