25,161
edits
Changes
Duck
,no edit summary
==Prover==
'''Prover''' was a [[Proof-Number Search]] implementation for chess, using chess-specific routines of Duck. Provers only goal was [[Mate Search|searching for mate]] <ref>[[Dennis Breuker]], [[Victor Allis]], [[Jaap van den Herik]] ('''1994'''). ''How to Mate: Applying Proof-Number Search''. [[Advances in Computer Chess 7]], reprint as [http://www.top-5000.nl/ps/Mate%20in%2038-%20applying%20proof%20number%20search%20to%20chess.pdf Mate in 38: Applying Proof-Number Search] from [[Ed Schroder|Ed Schroder's]] [http://www.top-5000.nl/prostuff.htm Programmer's Stuff site] » [[Proof-Number Search]]</ref>.
=Publications=
* [https://en.wikipedia.org/wiki/Ducks_Unlimited Ducks Unlimited from Wikipedia]
* [https://en.wikipedia.org/wiki/Digesting_Duck Digesting Duck] by [https://en.wikipedia.org/wiki/Jacques_de_Vaucanson Jacques de Vaucanson]
: [[FILE:Duck of Vaucanson.jpg|none|border|text-bottom|320px]]
* [https://en.wikipedia.org/wiki/Duck_%28disambiguation%29 Duck (disambiguation) from Wikipedia]
* [https://en.wikipedia.org/wiki/Citro%C3%ABn_2CV Citroën 2CV from Wikipedia]
* [https://en.wikipedia.org/wiki/List_of_fictional_ducks List of fictional ducks from Wikipedia]
* [[Videos#PatMetheny:Category:Pat Metheny|Pat Metheny]] & [https://en.wikipedia.org/wiki/Anna_Maria_Jopek Anna Maria Jopek] - [http://pl.wikipedia.org/wiki/Cyraneczka Cyraneczka] ([https://en.wikipedia.org/wiki/Leszek_Mo%C5%BCd%C5%BCer Leszek Możdżer] - Piano), [https://en.wikipedia.org/wiki/YouTube YouTube] Video
: {{#evu:https://www.youtube.com/watch?v=CD776ThlahM|alignment=left|valignment=top}}
=References=
<references />
'''[[Engines|Up one Level]]'''
[[Category:Bird]]
[[Category:SPARC]]
[[Category:SPARCstation]]
[[Category:Pat Metheny]]
