| 标题 |
 Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming 分支和推断：整数和有限域约束规划的统一框架
相关领域
约束规划
整数规划
领域（数学分析）
约束（计算机辅助设计）
分支机构和价格
计算机科学
约束逻辑程序设计
整数（计算机科学）
约束满足
分支和切割
数学优化
线性规划
理论计算机科学
数学
程序设计语言
算法
人工智能
随机规划
数学分析
几何学
概率逻辑
|
| 网址 | |
| DOI | |
| 求助人 | |
| 下载 | 该求助完结已超 24 小时，文件已从服务器自动删除，无法下载。 |
|
温馨提示：该文献已被科研通 学术中心 收录，前往查看
科研通『学术中心』是文献索引库，收集文献的基本信息（如标题、摘要、期刊、作者、被引量等），不提供下载功能。如需下载文献全文，请通过文献求助获取。
|
PDF的下载单位、IP信息已删除
chichi
HZQ
pcr163
小花排草
风清扬
小圭
昏睡的蟠桃
pluto
科研助手6
小橘子吃傻子
超帅连虎
8R60d8
修仙中
鸣笛
iNk
不想干活
打卡下班
积极从蕾
飲啖茶食個包
鬼见愁
皖公网安备34019202002308
