Essence' Description
Not on the map. Why?
Abstract (arXiv)
A description of the Essence' language as used by the tool Savile Row.
Key facts. Cited by 4 papers in the map (data through 14 Oct 2026). First posted on arXiv 12 Jan 2016.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 2; 2022: 0; 2023: 1; 2024: 1.
4 papers.
- 2021SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraintscited by 3
- 2021A Preliminary Case Study of Planning With Complex Transitions: Plottingcited by 0
- 2023Towards Automatic Design of Factorio Blueprintscited by 0
- 2024Automating Reformulation of Essence Specifications via Graph Rewritingcited by 0
- 2024Automating Reformulation of Essence Specifications via Graph Rewriting14 Nov 2024
- 2023Towards Automatic Design of Factorio Blueprints2 Oct 2023
- 2021A Preliminary Case Study of Planning With Complex Transitions: Plotting27 Oct 2021
- 2021SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints15 Oct 2021