Studies in Automated Reasoning: Subgoal Strategies for Solving Board Puzzles

Authors
G.Huang,D.Myers
Citation
G.huang,d.myers, Studies in Automated Reasoning: Subgoal Strategies for Solving Board Puzzles, Journal of automated reasoning , 20(3), 1998, pp. 215-253
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
20
Issue
3
Year of publication
1998
Pages
215 - 253
Database
ACNP
SICI code