Modeling with metaconstraints and semantic typing of variables

DOI10.1287/IJOC.2015.0664MaRDI QIDQ2806860zbMATH OpenOpenAlexFDO

Authors Andre A. Cire, Tallys Yunes, 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)

Recommendations

• Hybrid modeling
• scientific article; zbMATH DE number 2080319
• Combining metaheuristics with mathematical programming, constraint programming and machine learning
• Combining metaheuristics with mathematical programming, constraint programming and machine learning
• A modeling layer for constraint-programming libraries

Cites work

• scientific article; zbMATH DE number 2159469 (Why is no real title available?)
• A practical use of Jackson's preemptive schedule for solving the job shop problem
• An integrated solver for optimization problems
• Hybrid modeling
• On Formal Semantics and Analysis of Typed Modeling Languages: An Analysis of Ascend
• Parallel Local Search in Comet
• Survey of facial results for the traveling salesman polytope
• The SML Language for Structured Modeling: Levels 1 and 2
• The SML Language for Structured Modeling: Levels 3 and 4
• The design of the zinc modelling language
• \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver

Cited in

(1)

• Detecting semantic groups in MIP models

Describes a project that uses

Uses Software

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

This page was built for publication: Modeling with metaconstraints and semantic typing of variables

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2806860)