# Essence' Description

arXiv: https://arxiv.org/abs/1601.02865 · HTML: https://mlsanity.com/paper/1601.02865/

## Key facts

- Cited by 4 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 12 Jan 2016.

## Built on by (most cited first, 4 of 4)

- [SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints](https://mlsanity.com/paper/2110.08068/) (2021)
- [A Preliminary Case Study of Planning With Complex Transitions: Plotting](https://mlsanity.com/paper/2110.14397/) (2021)
- [Towards Automatic Design of Factorio Blueprints](https://mlsanity.com/paper/2310.01505/) (2023)
- [Automating Reformulation of Essence Specifications via Graph Rewriting](https://mlsanity.com/paper/2411.09576/) (2024)

## Abstract (arXiv)

A description of the Essence' language as used by the tool Savile Row.