Modeling with Metaconstraints and Semantic Typing of Variables

DOI10.1287/ijoc.2015.0664zbMath1338.90385OpenAlexW2289296210MaRDI QIDQ2806860

Tallys Yunes, Andre A. Cire, John N. Hooker

Publication date: 19 May 2016

Published in: INFORMS Journal on Computing (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1807/79003

zbMATH Keywords

modelingsemanticshybrid methodsmetaconstraints

Mathematics Subject Classification ID

Nonlinear programming (90C30)

Uses Software

• SymChaff
• COMET
• AMPL
• CPLEX
• XPRESS
• AIMMS
• Gecode
• Zinc

Cites Work

• Unnamed Item
• A practical use of Jackson's preemptive schedule for solving the job shop problem
• The design of the zinc modelling language
• \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver
• Survey of facial results for the traveling salesman polytope
• Hybrid Modeling
• An Integrated Solver for Optimization Problems
• Parallel Local Search in Comet
• The SML Language for Structured Modeling: Levels 1 and 2
• The SML Language for Structured Modeling: Levels 3 and 4
• On Formal Semantics and Analysis of Typed Modeling Languages: An Analysis of Ascend

This page was built for publication: Modeling with Metaconstraints and Semantic Typing of Variables