Structural analysis of optimization problems formulated in planning languages

DOI10.1007/BF00941498MaRDI QIDQ762073zbMATH OpenOpenAlexFDO

Authors Asim Roy, Leon Lasdon

Publication date 1985

Published in Journal of Optimization Theory and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00941498

zbMATH Keywords

Computer assisted model analysisdebuggingplanning languages

Mathematics Subject Classification ID

Mathematical programming (90C99)

Review text

Computer assisted model analysis, verification, and debugging is growing in importance. Most mathematical programming systems provide some debugging tools. This paper describes a typical structural analysis problem encountered in optimization models formulated in planning languages and states results that are useful in resolving it.

Recommendations

• Decomposition of an optimal planning problem
• Publication:4890646
• A planning model with problem analysis and operator hierarchy
• Decomposition of planning problems
• State-variable planning under structural restrictions: algorithms and complexity
• A complete parameterized complexity analysis of bounded planning

Cites work

• On detection of linear and nonlinear optimization problems
• PERUSE: An Interactive System for Mathematical Programs

Cited in

(3)

• Optimal cargo allocation on board a plane: A sequential linear programming approach
• scientific article; zbMATH DE number 3918089 (Why is no real title available?)
• scientific article; zbMATH DE number 610244 (Why is no real title available?)

Describes a project that uses

Uses Software

• PERUSE

This page was built for publication: Structural analysis of optimization problems formulated in planning languages

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