Modeling with metaconstraints and semantic typing of variables
type: Item
instance of: scholarly article
zbMATH Open document ID: 1338.90385
author: Andre A. Cire
author: Tallys Yunes
author: John N. Hooker
published in: INFORMS Journal on Computing
publication date: 2016-05-19T00:00:00Z
full work available at URL: http://hdl.handle.net/1807/79003
Mathematics Subject Classification ID: 90C30
zbMATH DE Number: 6582446
zbMATH Keywords: modeling
zbMATH Keywords: hybrid methods
zbMATH Keywords: metaconstraints
zbMATH Keywords: semantics
describes a project that uses: AIMMS
describes a project that uses: SymChaff
describes a project that uses: Zinc
describes a project that uses: XPRESS
describes a project that uses: Gecode
describes a project that uses: COMET
describes a project that uses: AMPL
describes a project that uses: CPLEX
MaRDI profile type: Publication
OpenAlex ID: W2289296210
cites work: Q4667440
cites work: On Formal Semantics and Analysis of Typed Modeling Languages: An Analysis of Ascend
cites work: A practical use of Jackson's preemptive schedule for solving the job shop problem
cites work: The SML Language for Structured Modeling: Levels 1 and 2
cites work: The SML Language for Structured Modeling: Levels 3 and 4
cites work: Hybrid Modeling
cites work: The design of the zinc modelling language
cites work: Survey of facial results for the traveling salesman polytope
cites work: \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver
cites work: Parallel Local Search in Comet
cites work: An Integrated Solver for Optimization Problems
DOI: 10.1287/IJOC.2015.0664
title: Modeling with metaconstraints and semantic typing of variables
description: scientific article; zbMATH DE number 6582446