Skip to search formSkip to main contentSkip to account menu

SpaceChem

SpaceChem is an indie puzzle game developed by Zachtronics Industries, based on principles of automation and chemical bonding. In the game, the… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2014
Review
2014
Formal software verification is a software engineering technique for modeling a software system’s source code, and then proving… 
2014
2014
We discuss a design pattern found in expressive storygames, the eurekon, which describes a specific dynamic arising from some…