An introduction to Z and formal specifications
Software Engineering Journal - Special Section on Z
Overview of the CHIP compiler system
Constraint logic programming
Conjunto: constraint logic programming with finite set domains
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
The OPL optimization programming language
The OPL optimization programming language
Constraints
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
The Design of the Zinc Modelling Language
Constraints
Expressive power and abstraction in Essence
Constraints
MINION: A Fast, Scalable, Constraint Solver
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
The design of ESSENCE: a constraint language for specifying combinatorial problems
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
The rules of constraint modelling
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Tailoring solver-independent constraint models: a case study with ESSENCE' and MINION
SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
MiniZinc: towards a standard CP modelling language
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Generalized arc consistency for global cardinality constraint
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Transforming and refining abstract constraint specifications
SARA'05 Proceedings of the 6th international conference on Abstraction, Reformulation and Approximation
NP-SPEC: an executable specification language for solving all problems in NP
Computer Languages
The Design of the Zinc Modelling Language
Constraints
Expressive power and abstraction in Essence
Constraints
A Module-Based Framework for Multi-language Constraint Modeling
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Scheduling the CB1000 nanoproteomic analysis system with Python, Tailor, and Minion
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
The proper treatment of undefinedness in constraint languages
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
High-level modeling of component-based CSPs
SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
Speed-up techniques for negation in grounding
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Procedural code generation vs static expansion in modelling languages for constraint programming
CSCLP'09 Proceedings of the 14th Annual ERCIM international conference on Constraint solving and constraint logic programming
Towards programming languages for machine learning and data mining
ISMIS'11 Proceedings of the 19th international conference on Foundations of intelligent systems
A semantic account for modularity in multi-language modelling of search problems
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
A system for solving constraint satisfaction problems with SMT
SAT'10 Proceedings of the 13th international conference on Theory and Applications of Satisfiability Testing
A high level language for solver independent model manipulation and generation of hybrid solvers
CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Constraint Propagation for First-Order Logic and Inductive Definitions
ACM Transactions on Computational Logic (TOCL)
MiningZinc: a modeling language for constraint-based mining
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
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.