Changes

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>.

<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 DBLPdblp: Christian Posthoff]</ref>