The CP-SAT-LP Solver (Invited Talk)

已关闭

文献求助详情

标题	The CP-SAT-LP Solver (Invited Talk)
网址	https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.C...
DOI	10.4230/lipics.cp.2023.3 doi
其它	期刊：LIPIcs, Volume 280, CP 2023 作者：Laurent Perron; Frédéric Didier; Steven Gay 出版日期：2023-01-01
求助人	kaillera 在 2026-07-06 17:30:21 发布自法国，悬赏 10 积分
下载

上个求助

下个求助

提交工单

求助 / 应助时间线

16天前，求助关闭

科研通管家机器人关闭了本次求助。

说明求助超时（查看超时原因）自动关闭，请核实信息是否正确，如果确实需要，您可重新发布求助。【积分已退回】
21天前

科研通AI2.0 机器人未找到该文献，机器人已退出，请等待人工下载

17:30:27 未找到该文献，机器人已退出，请等待人工下载

17:30:23 科研通AI机器人（新加坡）收到请求，开始寻找文献

17:30:21 已向机器人发送请求
21天前

kaillera Lv6 求助人发起了本次求助

我的文献求助列表浏览历史

一分钟了解求助规则 | 捐赠本站 | 历史今天

更新

⚡ 2026年影响因子、分区 已更新！ (2026-6-17)

更新

📰 新增『新锐期刊分区』 (2026-3-24)

更新

💬 新增更精细的自定义提醒设置 (2026-1-4)

新增

🕒 每天60秒读懂世界·精选全球要闻 (2026-1-2)

新增

PDF的下载单位、IP信息已删除 (2025-6-4)

科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。

实时播报: LINDENG2004完成签到，获得积分10

2秒前; 李木禾完成签到，获得积分10

36秒前; 顾矜上传了应助文件

54秒前; yiiy发布了新的文献求助10

59秒前; 老石完成签到，获得积分10

1分钟前; LeoBigman完成签到，获得积分10

1分钟前; Kao的应助被科研通管家采纳，获得10

1分钟前; Copyright的应助被科研通管家采纳，获得10

1分钟前; 星辰大海上传了应助文件

2分钟前; emmm发布了新的文献求助10

2分钟前; 灿烂而孤独的八戒完成签到，获得积分10

2分钟前; automan完成签到，获得积分10

2分钟前; 俏皮夏瑶完成签到，获得积分10

3分钟前; 轻舞完成签到，获得积分10

3分钟前; sissiarno完成签到，获得积分0

3分钟前; emmm完成签到，获得积分10

3分钟前; NexusExplorer上传了应助文件

3分钟前; LMY1470完成签到，获得积分10

3分钟前; 调皮的烤鸡完成签到，获得积分10

3分钟前; 一觉醒来已是答辩完毕发布了新的文献求助10

3分钟前; HanaTerbush完成签到，获得积分10

3分钟前; Ava上传了应助文件

3分钟前; GinaLundhild06完成签到，获得积分10

3分钟前; hahasun发布了新的文献求助10

3分钟前; 踏实麦片完成签到，获得积分10

3分钟前; yunsui完成签到，获得积分10

3分钟前; 往昔不过微澜完成签到，获得积分10

3分钟前; Kao的应助被科研通管家采纳，获得10

3分钟前; Kao的应助被科研通管家采纳，获得10

3分钟前; qiandi完成签到，获得积分10

3分钟前; 默风完成签到，获得积分10

4分钟前; 紫熊完成签到，获得积分10

5分钟前; 大模型的应助被maoq采纳，获得10

5分钟前; 完美世界的应助被科研通管家采纳，获得10

5分钟前; Ava的应助被qwq睡了吗铁柱采纳，获得10

5分钟前; 大模型上传了应助文件

6分钟前; maoq发布了新的文献求助10

6分钟前; Kao的应助被maoq采纳，获得20

7分钟前; 明亮的小兔子完成签到，获得积分10

7分钟前; 小马甲的应助被科研通管家采纳，获得10

7分钟前