Essence swMATH ID: 27491 Software Authors: Frisch, Alan M.; Harvey, Warwick; Jefferson, Chris; Martínez-Hernández, Bernadette; Miguel, Ian Description: Essence: A constraint language for specifying combinatorial problems. 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. Essence provides a high level of abstraction, much of which is the consequence of the provision of decision variables whose values can be combinatorial objects, such as tuples, sets, multisets, relations, partitions and functions. Essence also allows these combinatorial objects to be nested to arbitrary depth, providing for example sets of partitions, sets of sets of partitions, and so forth. Therefore, a problem that requires finding a complex combinatorial object can be specified directly by using a decision variable whose type is precisely that combinatorial object. Homepage: https://link.springer.com/article/10.1007%2Fs10601-008-9047-y Keywords: Constraint languages; Specification languages; Constraint modelling; Constraint programming; Combinatorial problems Related Software: MiniZinc; Zinc; ESRA; Gecode; COMET; AMPL; NP-SPEC; MINION; Sugar; OPL; Yices; CSPLib; SATzilla; MiniSat; SCIP; meSAT; VRP; z3; MiniSearch; Localizer Cited in: 25 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year Essence: A constraint language for specifying combinatorial problems. Zbl 1147.68424Frisch, Alan M.; Harvey, Warwick; Jefferson, Chris; Martínez-Hernández, Bernadette; Miguel, Ian 2008 all top 5 Cited by 70 Authors 3 Miguel, Ian 3 Stuckey, Peter James 3 Tack, Guido 2 Akgün, Özgür 2 Bofill, Miquel 2 De Raedt, Luc 2 Frisch, Alan M. 2 Gent, Ian Philip 2 Janhunen, Tomi 2 Järvisalo, Matti 2 Jefferson, Christopher 2 McCreesh, Ciaran 2 Niemelä, Ilkka N. F. 2 Nightingale, Peter W. 2 Oikarinen, Emilia 2 Palahí, Miquel 2 Prosser, Patrick 2 Schiendorfer, Alexander 2 Suy, Josep 2 Ternovska, Eugenia 2 Villaret, Mateu 2 Wallace, Mark G. 1 Amadini, Roberto 1 Anders, Gerrit 1 Ansótegui, Carlos 1 Beck, J. Christopher 1 Belle, Vaishak 1 Bhavnani, Sidhant 1 Blockeel, Hendrik 1 Bogaerts, Bart 1 Bruynooghe, Maurice 1 de Cat, Broes 1 De Pooter, Stef 1 de Uña, Diego 1 Denecker, Marc 1 Dries, Anton 1 Enright, Jessica 1 Fages, François 1 Freuder, Eugene C. 1 Gabbrielli, Maurizio 1 Gange, Graeme 1 Garcia de la Banda, Maria 1 Guns, Tias 1 Harvey, Warwick 1 Heinz, Stefan 1 Hemmi, David 1 Jansen, Joachim 1 Jefferson, Chris 1 Knapp, Alexander 1 Labarre, Anthony 1 Marriott, Kim 1 Martin, Julien 1 Martínez-Hernández, Bernadette 1 Mauro, Jacopo 1 Mereb, Martin 1 Mitchell, David G. M. 1 Moore, Neil C. A. 1 Nethercote, Nicholas 1 Nijssen, Siegfried 1 Rafeh, Reza 1 Ramon, Jan 1 Reif, Wolfgang 1 Schachte, Peter 1 Schulz, Jens 1 Ślażyński, Mateusz 1 Tasharrofi, Shahab 1 Unsworth, Chris 1 Vendramin, Leandro 1 Verwer, Sicco 1 Zschaler, Steffen Cited in 5 Serials 9 Constraints 2 Artificial Intelligence 2 Theory and Practice of Logic Programming 1 Mathematics of Computation 1 International Journal of Approximate Reasoning all top 5 Cited in 6 Fields 17 Computer science (68-XX) 9 Operations research, mathematical programming (90-XX) 1 Mathematical logic and foundations (03-XX) 1 Associative rings and algebras (16-XX) 1 Quantum theory (81-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year