Modeling with metaconstraints and semantic typing of variables

DOI10.1287/IJOC.2015.0664zbMATH Open1338.90385OpenAlexW2289296210MaRDI QIDQ2806860FDOQ2806860

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

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

zbMATH Keywords

modelingsemanticshybrid methodsmetaconstraints

Mathematics Subject Classification ID

Nonlinear programming (90C30)

Cites Work

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

Cited In (1)

• Detecting semantic groups in MIP models

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)