Computer ScienceMathematics

Essence: A constraint language for specifying combinatorial problems

A. Frisch, Warwick Harvey, Christopher Jefferson, B. M. Hernández, Ian Miguel

2008.9.1CONSTRAINTS

DOI: 10.1007/s10601-008-9047-y

tlooto Summary

Essence is a formal language for specifying combinatorial problems in a manner similar to natural rigorous specifications that use a mixture of natural language and discrete mathematics.

Abstract

Abstract is not available.

Citation format

FRISCH, A., et al. Essence: A constraint language for specifying combinatorial problems. CONSTRAINTS, 2008, 13: 268–306.