Back to Results
First PageMeta Content
Applied mathematics / NP-complete problems / Electronic design automation / Formal methods / Logic in computer science / Puzzle / Answer set programming / Boolean satisfiability problem / Constraint satisfaction problem / Theoretical computer science / Constraint programming / Mathematics


A Case Study of Expressively Constrainable Level Design Automation Tools for a Puzzle Game Adam M. Smith∗† , Erik Andersen† , Michael Mateas∗ , Zoran Popovi´c† ∗ †
Add to Reading List

Document Date: 2013-03-17 01:17:50


Open Document

File Size: 1,30 MB

Share Result on Facebook

City

Raleigh / /

Company

Luniver Press / Intel / Zoran / /

Country

United States / /

Currency

USD / /

/

Facility

When building / University of Washington / University of Washington Center / University of California / /

IndustryTerm

search process / declarative 3D modeling tool / spaced reference solutions / combinatorial search infrastructure / mission generation systems / simplest solution / search spaces / evolutionary algorithm / online and offline analysis / difficult combinatorial search problems / software engineering practices / reference solutions / above algorithm / search algorithms3 / long shortest-path solutions / heuristic search algorithm / search algorithm / software systems / similar spatial search / search problems / search algorithms / certain sub-networks / legitimate best-effort research solution / generation systems / generate-and-test systems / genetic algorithm / ms. search / approachable solution / hand-rolled search / depth-first search / difficult search problems / simpler solutions / genetic algorithms / related systems / online game / candidate solution / live search process / combinatorial search / puzzle solution / online educational game / non-search activities / hand-rolled complete-search implementation / particular network / partial solutions / randomized depth-first search / level design automation tools / diverse level design automation tools / search space / highperformance combinatorial search algorithm / feasible solutions / Search-based procedural content generation / constrained search problem / level design automation systems / /

Organization

University of Washington / National Science Foundation / Cambridge Univ. / University of Washington Center for Game Science / Center for Games and Playable Media / Melinda Gates Foundation / University of California / Santa Cruz Center for Game Science / /

Person

Adam M. Smith / Michael Mateas / Erik Andersen / /

Position

given player / General / player / designer / Feed-Forward / programmer / /

Product

Bakkes / Dormans / /

ProgrammingLanguage

Prolog / Java / Python / XML / C++ / /

Technology

above algorithm / XML / heuristic search algorithm / underlying algorithm / evolutionary algorithm / search algorithm / search algorithms / Feed-forward algorithm / Nature-Inspired Metaheuristic Algorithms / Lua / laser / lasers / Davis-Putnam algorithm / artificial intelligence / Java / highperformance combinatorial search algorithm / http / Simulation / Flash / /

URL

http /

SocialTag