整数规划
约束规划
约束(计算机辅助设计)
计算机科学
一般化
线性规划
整数(计算机科学)
数学优化
约束满足
理论计算机科学
程序设计语言
算法
数学
人工智能
随机规划
数学分析
几何学
概率逻辑
作者
Tobias Achterberg,Timo Berthold,Thorsten Koch,Kati Wolter
出处
期刊:Springer eBooks
[Springer Nature]
日期:2008-05-19
卷期号:: 6-20
被引量:171
标识
DOI:10.1007/978-3-540-68155-7_4
科研通智能强力驱动
Strongly Powered by AbleSci AI