The Algorithmics of Solitaire-Like Games

DOI10.1007/978-3-642-13321-3_1zbMath1286.91036OpenAlexW3023169038MaRDI QIDQ3575261

João F. Ferreira, Wei Chen, Roland C. Backhouse

Publication date: 26 July 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1822/33752

zbMATH Keywords

invariantspolynomialstiling problemsalgorithm derivationsolitairegames on cyclotomic polynomialsnuclear penniesseven-trees-in-one

Mathematics Subject Classification ID

Combinatorial games (91A46) Probabilistic games; gambling (91A60)

Related Items (2)

Emergence and refinement ⋮ BGSL: an imperative language for specification and refinement of backtracking programs

This page was built for publication: The Algorithmics of Solitaire-Like Games