Automated Reasoning
From MaRDI portal
Publication:5307072
DOI10.1007/b98691zbMath1126.68589OpenAlexW4239036627MaRDI QIDQ5307072
K. Subramani and Vahan Mkrtchyan
Publication date: 25 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b98691
Integer programming (90C10) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items (4)
Towards an algorithmic synthesis of thermofluid systems ⋮ Multistage robust discrete optimization via quantified integer programming ⋮ Solving multistage quantified linear optimization problems with the alpha-beta nested Benders decomposition ⋮ Robust load planning of trains in intermodal transportation
This page was built for publication: Automated Reasoning