By Topic

Using games for benchmarking and representing the complete solution space using symbolic techniques

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
G. Fey ; Inst. of Comput. Sci., Bremen Univ., Germany ; S. Kinder ; R. Drechsler

Games often are inherently multi-valued problems and their wide variety offers different graduations of complexity. Moreover a lot of games have a parameter, like board-size that allows to generate differently sized instances of the same problem. All this makes them perfectly suitable for benchmarking in the multi-valued domain. So far the lack of benchmarks in this area often was compensated by transferring problems from binary to multi-valued, but for several application domains this is not adequate. This paper focuses on three games, that we consider suitable for benchmarking. We show the differences in complexity of the games and compare two coding schemes for one of them. All three problems are modeled by symbolic techniques, namely decision diagrams, leading to a complete representation of the solution space. This representation finds several applications, e.g. in objectively analyzing the efficiency of different heuristics on a solution space or to speed up learning algorithms.

Published in:

Multiple-Valued Logic, 2003. Proceedings. 33rd International Symposium on

Date of Conference:

16-19 May 2003