9 papers:
CADE-2015-MaricJM #correctness #higher-order #proving #using- Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3 (FM, PJ, MM), pp. 256–271.
SIGIR-2014-GangulyLJ #retrieval- Retrieval of similar chess positions (DG, JL, GJFJ), pp. 687–696.
ASE-2012-CicchettiCMPPZV #development #industrial #modelling #named- CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems (AC, FC, SM, SP, MP, AZ, TV), pp. 362–365.
ICDAR-2011-WangZPH #fourier #recognition- Chinese Chess Character Recognition with Radial Harmonic Fourier Moments (KW, HZ, ZP, H), pp. 1369–1373.
ICEIS-HCI-2008-PicussaGBFDBSCS #education #interface #online #web- A User-Interface Environment Solution as an Educational Tool for an Online Chess Server on the Web (JP, LSG, JB, MVRF, AID, LCEDB, FS, MAC, MSS), pp. 262–267.
LOPSTR-2006-MusuvathiQ #concurrent #named #testing- CHESS: Systematic Stress Testing of Concurrent Software (MM, SQ), pp. 15–16.
ICML-1998-BaxterTW #named- KnightCap: A Chess Programm That Learns by Combining TD(λ) with Game-Tree Search (JB, AT, LW), pp. 28–36.
- ML-1991-LevinsonS #adaptation
- Adaptive Pattern-Oriented Chess (RL, RS), pp. 85–89.
ICALP-1981-FraenkelL #exponential- Computing a Perfect Strategy for n*n Chess Requires Time Exponential in N (ASF, DL), pp. 278–293.
