25,161
edits
Changes
no edit summary
'''Arie de Bruin''',<br/>
a Dutch computer scientist and retired researcher, most recently affiliated with the [[Delft University of Technology]], until 2006 professor at the Department of Computer Science, Faculty of Economics, [https://en.wikipedia.org/wiki/Erasmus_University_Rotterdam Erasmus University Rotterdam].
Arie de Bruin 's research interests covered [https://en.wikipedia.org/wiki/Semantics_(computer_science) programming language semantics], game tree [[Search|search]] algorithms, and [https://en.wikipedia.org/wiki/Distributed_Interactive_Simulation distributed simulation]. Along with [[Wim Pijls]], he researched on [[George Stockman|Stockman's]] [[SSS* and Dual*|SSS* algorithm]],
which they declared "dead" at the [[Advances in Computer Chess 8|8th Advances in Computer Chess]] conference 1996 <ref>[[Arie de Bruin]], [[Wim Pijls]] ('''1997'''). ''SSS†.'' [[Advances in Computer Chess 8]]</ref>,
due to its reformulation as a sequence of [[Depth-First|depth-first]] [[Alpha-Beta|alpha-beta]] [[Null Window|null window]] calls with [[Transposition Table|transposition table]] aka [[MTD(f)]], as also elaborated along with [[Aske Plaat]] and [[Jonathan Schaeffer]] in several papers.
=Selected Publications=
<ref>[https://ilk.uvt.nl/icga/journal/docs/References.pdf [ICGA Journal#RefDB|ICGA Reference Database] (pdf)]</ref> <ref>[https://dblp.uni-trier.de/pers/hd/b/Bruin:Arie_de.html dblp: Arie de Bruin]</ref> <ref>[https://repub.eur.nl/ppl/40 RePub, Erasmus University Repository: A. de Bruin (Arie)]</ref>
==1980 ...==
* [[Mathematician#JWdBakker|Jacobus W. de Bakker]], [[Arie de Bruin]], [[Mathematician#JZucker|Jeffrey Zucker]] ('''1980'''). ''[https://www.semanticscholar.org/paper/Mathematical-theory-of-program-correctness-Bakker-Bruin/6e4a2a3c5464ac544468c77c3a07ec585c06c7ac Mathematical theory of program correctness]''. [https://en.wikipedia.org/wiki/Prentice_Hall Prentice Hall]
