机译:分析整数程序的运行时和大小复杂度
Microsoft Res, 21 Stn Rd, Cambridge CB1 2FB, England;
Rhein Westfal TH Aachen, LuFG Informat 2, Ahornstr 55, D-52074 Aachen, Germany;
Aicas GmbH, Haidund Neu Str 18, D-76131 Karlsruhe, Germany;
Birkbeck Univ London, Dept Comp Sci & Informat Syst, Malet St, London WC1E 7HX, England;
Rhein Westfal TH Aachen, LuFG Informat 2, Ahornstr 55, D-52074 Aachen, Germany;
Theory; Verification; Runtime complexity; automated complexity analysis; integer programs;
机译:分析不可行的混合整数和整数线性程序
机译:推断整数程序的下运行时界限
机译:通过依赖对分析术语重写的最内在运行时复杂性
机译:整数程序的交替运行时和大小复杂度分析
机译:通过混合整数线性规划模型分析燃煤电厂共燃生物质碳的社会成本
机译:分析中小企业的一项国家技术创新研发计划的效率
机译:分析整数程序的运行时和大小复杂度