Essence' Description

Abstract

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

Cited by in corpus (3)

• SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints
• Efficient Incremental Modelling and Solving
• A Preliminary Case Study of Planning With Complex Transitions: Plotting