小满
SciHub
文献互助
期刊查询
一搜即达
科研导航
即时热点
交流社区
登录
注册
发布
文献
求助
首页
我的求助
捐赠本站
Constraint Integer Programming: A New Approach to Integrate CP and MIP
整数规划
约束规划
约束（计算机辅助设计）
计算机科学
一般化
线性规划
整数（计算机科学）
数学优化
约束满足
理论计算机科学
程序设计语言
算法
数学
人工智能
随机规划
概率逻辑
几何学
数学分析
作者
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
求助该文献
最长约 10秒，即可获得该文献文件
相关文献
科研通AI机器人已完成分析
对不起，本页面需要您登录以后才可查看
进入登录/注册页面
科研通智能强力驱动
Strongly Powered by AbleSci AI
我的文献求助列表
浏览历史
一分钟了解求助规则
|
捐赠本站
|
历史今天
更新
📰 新增『新锐期刊分区』
(2026-3-24)
更新
💬 新增更精细的自定义提醒设置
(2026-1-4)
新增
🕒 每天60秒读懂世界·精选全球要闻
(2026-1-2)
新增
PDF的下载单位、IP信息已删除
(2025-6-4)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
非洲蜗牛
完成签到，获得积分
10
刚刚
情怀
上传了
应助文件
2秒前
Hello
的
应助
被
27758
采纳，获得
10
2秒前
郑青椒
发布了新的
文献求助
10
2秒前
打打
的
应助
被
开鑫
采纳，获得
10
2秒前
脑洞疼
上传了
应助文件
3秒前
明明就
发布了新的
文献求助
10
3秒前
阿巴阿巴
完成签到
，获得积分
10
4秒前
小脑袋
发布了新的
文献求助
10
4秒前
无极微光
上传了
应助文件
4秒前
聪明的安阳
发布了新的
文献求助
10
5秒前
欢喜的花卷
完成签到，获得积分
10
5秒前
123
完成签到，获得积分
10
5秒前
i_jueloa
完成签到
，获得积分
10
5秒前
chr
发布了新的
文献求助
10
6秒前
研友_89eRG8
完成签到
，获得积分
10
6秒前
yulin
完成签到，获得积分
10
7秒前
你好
发布了新的
文献求助
10
7秒前
英俊的铭
上传了
应助文件
8秒前
研友_VZG7GZ
上传了
应助文件
8秒前
雾日
的
应助
被
chen
采纳，获得
10
9秒前
ABCDE
完成签到，获得积分
10
9秒前
Damalis
发布了新的
文献求助
10
9秒前
打打
上传了
应助文件
9秒前
小天使的使
完成签到，获得积分
10
10秒前
小蘑菇噢噢噢
发布了新的
文献求助
10
10秒前
爆米花
的
应助
被
river123
采纳，获得
10
10秒前
李健的小迷弟
的
应助
被
emile
采纳，获得
10
11秒前
慕青
上传了
应助文件
11秒前
传奇3
的
应助
被
银河系小熊
采纳，获得
10
11秒前
Orange
上传了
应助文件
11秒前
活力的惜萱
上传了
应助文件
11秒前
英姑
上传了
应助文件
12秒前
wddytc
完成签到
，获得积分
10
12秒前
852
上传了
应助文件
13秒前
小米
关注了科研通微信公众号
13秒前
海阔天空
发布了新的
文献求助
10
14秒前
科研狗
的
应助
被
靓丽夜蕾
采纳，获得
30
14秒前
vc
发布了新的
文献求助
10
14秒前
哎呀
完成签到，获得积分
10
14秒前
高分求助中
(应助此贴封号)【重要！！请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】
10000
The Organometallic Chemistry of the Transition Metals
800
Chemistry and Physics of Carbon Volume 18
800
The Organometallic Chemistry of the Transition Metals
800
Leading Academic-Practice Partnerships in Nursing and Healthcare: A Paradigm for Change
800
The formation of Australian attitudes towards China, 1918-1941
640
Signals, Systems, and Signal Processing
610
热门求助领域
（近24小时）
化学
材料科学
医学
生物
纳米技术
工程类
有机化学
化学工程
生物化学
计算机科学
物理
内科学
复合材料
催化作用
物理化学
光电子学
电极
细胞生物学
基因
无机化学
热门帖子
关注
科研通微信公众号，转发送积分
6438535
求助须知：如何正确求助？哪些是违规求助？
8252623
关于积分的说明
17561862
捐赠科研通
5496842
什么是DOI，文献DOI怎么找？
2898983
邀请新用户注册赠送积分活动
1875671
关于科研通互助平台的介绍
1716475
今日热心研友
无极微光
182
3850
didiwang
62
1710
仰望喀纳斯的星空
83
1440
科研狗
36
1630
畔畔
24
1200
GingerF
1420
学术文献互助
1380
nn
1250
Twonej
28
850
OsamaKareem
27
780
Mic
31
720
粗心的羽毛
48
440
邓佳鑫Alan
85
大力的灵雁
850
pluto
38
450
Strawberry
770
呵呵
74
敬老院N号
710
小安
66
dew
650
注：热心度 = 本日应助数 + 本日被采纳获取积分÷10
PDF的下载单位、IP信息已删除
(2025-6-4)
无极微光
didiwang
仰望喀纳斯的星空
科研狗
畔畔
GingerF
学术文献互助
nn
Twonej
OsamaKareem
Mic
粗心的羽毛
邓佳鑫Alan
大力的灵雁
pluto
Strawberry
呵呵
敬老院N号
小安
dew
皖公网安备34019202002308
