检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

35 篇 会议
2 册 图书
2 篇 期刊文献

馆藏范围

38 篇 电子文献
1 种 纸本馆藏

日期分布

学科分类号

31 篇 工学
- 31 篇 计算机科学与技术...
- 21 篇 软件工程
- 3 篇 机械工程
- 1 篇 材料科学与工程（可...
- 1 篇 农业工程
- 1 篇 生物工程
22 篇 理学
- 15 篇 数学
- 13 篇 系统科学
- 1 篇 物理学
- 1 篇 生物学
1 篇 农学
- 1 篇 作物学
1 篇 管理学
- 1 篇 管理科学与工程(可...

主题

8 篇 constraint satis...
8 篇 constraint progr...
5 篇 constraint theor...
3 篇 modeling languag...
3 篇 combinatorial op...
2 篇 constraint progr...
1 篇 many valued logi...
1 篇 international
1 篇 encoding (symbol...
1 篇 model checking
1 篇 constraint satis...
1 篇 soft neighborhoo...
1 篇 social choice
1 篇 constrained opti...
1 篇 conference,
1 篇 weighted constra...
1 篇 universal algebr...
1 篇 computers
1 篇 dominance rule
1 篇 constraint

机构

2 篇 dtai ku leuven
2 篇 washington unive...
2 篇 department of me...
1 篇 inra toulouse
1 篇 université laval...
1 篇 université côte ...
1 篇 japan sci & tech...
1 篇 infologic bourg ...
1 篇 onera onera dtis...
1 篇 univ autonoma ba...
1 篇 university of lu...
1 篇 national ict aus...
1 篇 department of co...
1 篇 royal inst techn...
1 篇 department of co...
1 篇 tu darmstadt
1 篇 cril univ artois...
1 篇 ilog 9 avenue de...
1 篇 univ aegean dept...
1 篇 laboratoire mis ...

作者

3 篇 guns tias
3 篇 tsouros dimos
2 篇 bleukx ignace
2 篇 jonsson peter
2 篇 vanroose wout
2 篇 de givry simon
2 篇 lecoutre christo...
2 篇 verhaeghe hélène
2 篇 devriendt jo
2 篇 o'sullivan barry
2 篇 zivan roie
2 篇 yeoh william
2 篇 schiex thomas
2 篇 beck j. christop...
1 篇 solnon christine
1 篇 prestwich steven...
1 篇 soh takehide
1 篇 hadzic tarik
1 篇 stuckey peter j.
1 篇 falque thibault

语言

38 篇 英文
1 篇 中文

检索条件"任意字段=30th International Conference on Principles and Practice of Constraint Programming, CP 2024"

共 39 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

30th international conference on principles and practice of constraint programming, cp 2024

30th International Conference on Principles and Practice of ...

引用

30th international conference on principles and practice of constraint programming, cp 2024

ISBN: (纸本)9783959773362

the proceedings contain 38 papers. the topics discussed include: solving patience and solitaire games with good old fashioned AI;the complexity of symmetry breaking beyond Lex-Leader;certifying without loss of generality reasoning in solution-improving maximum satisfiability;ParLS-PBO: a parallel local search solver for pseudo Boolean optimization;deep cooperation of local search and unit propagation techniques;cumulative scheduling with calendars and overtime;pseudo-Boolean reasoning about states and transitions to certify dynamic programming and decision diagram algorithms;anytime weighted model counting with approximation guarantees for probabilistic inference;and a multi-stage proof logging framework to certify the correctness of cp solvers.

关键词：

来源：评论

学校读者我要写书评

暂无评论

ConfWS 2024 - Proceedings of the 26th international Workshop on Configuration, co-located with the 30th international conference on principles and practice of constraint programming, cp 2024

ConfWS 2024 - Proceedings of the 26th International Workshop...

引用

26th international Workshop on Configuration, ConfWS 2024

the proceedings contain 14 papers. the topics discussed include: configuration of heterogeneous agent fleet: a preliminary generic model;challenges in automotive hardware-software co-configuration;prospective and retrospective approaches to integrate life cycle assessment in configurators: a multiple case study in the construction industry;premises, challenges and suggestions for modelling building knowledge using the configuration paradigm;requirements and architectures for green configuration;developing an algorithm selector for green configuration in scheduling problems;instance configuration for sustainable job shop scheduling;product visualization in configurators: laying the foundations for a comparative description;and using answer set programming for assigning tasks to computing nodes.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Combining constraint programming Reasoning with Large Language Model Predictions 30

Combining Constraint Programming Reasoning with Large Langua...

引用

30th international conference on principles and practice of constraint programming, cp 2024

作者： Régin, Florian De Maria, Elisabetta Bonlarron, Alexandre Université Côte d'Azur I3S CNRS Sophia Antipolis France Université Côte d'Azur Inria Sophia Antipolis France

ISBN: (纸本)9783959773362

constraint programming (cp) and Machine Learning (ML) face challenges in text generation due to cp's struggle with implementing "meaning"and ML's difficulty with structural constraints. this paper proposes a solution by combining both approaches and embedding a Large Language Model (LLM) in cp. the LLM handles word generation and meaning, while cp manages structural constraints. this approach builds on Gencp, an improved version of On-the-fly constraint programming Search (OTFS) using LLM-generated domains. Compared to Beam Search (BS), a standard NLP method, this combined approach (Gencp with LLM) is faster and produces better results, ensuring all constraints are satisfied. this fusion of cp and ML presents new possibilities for enhancing text generation under constraints. © Florian Régin, Elisabetta De Maria, and Alexandre Bonlarron.

关键词： constraint programming

来源：评论

学校读者我要写书评

暂无评论

Cumulative Scheduling with Calendars and Overtime 30

Cumulative Scheduling with Calendars and Overtime

引用

30th international conference on principles and practice of constraint programming, cp 2024

作者： Cloutier, Samuel Quimper, Claude-Guy Université Laval Québec Canada

ISBN: (纸本)9783959773362

In project scheduling, calendar considerations can increase the duration of a task when its execution overlaps with holidays. On the other hand, the use of overtime may decrease the task's duration. We introduce the CalendarOvertime constraint which verifies that a task follows a calendar with overtime and holidays. We also introduce the CumulativeOvertime constraint, a variant of the Cumulative constraint, that also reasons with the calendars when propagating according to the resource consumption, the overtime, and the holidays. Experimental results of a RcpSP model on the PSPLIB, BL, and PACK instances augmented with calendars and overtime show that the use of the CalendarOvertime constraint offers a speedup greater than 2.9 on the instances optimally solved and finds better solutions on more than 79% of the remaining instances when compared to a decomposition of the constraint. We also show that the use of our CumulativeOvertime constraint further improves these results. © Samuel Cloutier and Claude-Guy Quimper.

关键词： constraint programming

来源：评论

学校读者我要写书评

暂无评论

Using constraint programming for Disjunctive Scheduling in Temporal AI Planning 30

Using Constraint Programming for Disjunctive Scheduling in T...

引用

30th international conference on principles and practice of constraint programming, cp 2024

作者： Green, Adam Francis Beck, J. Christopher Coles, Amanda Department of Informatics King's College London United Kingdom Tango Hospitality Inc. Toronto Canada Department of Mechanical and Industrial Engineering University of Toronto Canada

ISBN: (纸本)9783959773362

We present a novel scheduling model that leverages constraint programming (cp) to enhance problem solving performance in Temporal Planning. Building on the established strategy of decomposing causal and temporal reasoning, our approach abstracts two common fact structures present in many Temporal Planning problems - Semaphores and Envelopes - and performs temporal reasoning in a cp-based scheduler. At each search node in a heuristic search for a temporal plan, we construct and solve a constraint Satisfaction Problem (CSP) and integrate feedback from the cp-based scheduler to guide the causal planning search towards a solution. through experimental analysis, we validate the impact of these advances, demonstrating a significant reduction in both the number of states searched and in search time alongside an increase in problem-solving coverage. © Adam Francis Green, J. Christopher Beck, and Amanda Coles.

关键词： constraint satisfaction problems

来源：评论

学校读者我要写书评

暂无评论

Solving LBBD Master Problems with constraint programming and Domain-Independent Dynamic programming 30

Solving LBBD Master Problems with Constraint Programming and...

引用

30th international conference on principles and practice of constraint programming, cp 2024

作者： Zhang, Jiachen Beck, J. Christopher Department of Mechanical and Industrial Engineering University of Toronto Canada

ISBN: (纸本)9783959773362

We investigate using constraint programming (cp) and Domain-Independent Dynamic programming (DIDP) to solve the master problem in Logic-based Benders Decomposition (LBBD) models, in particular addressing the challenge of feasibility cut formulation. For cp, we exploit key variable manipulation, constraint-based expressions, and global constraints to construct three combinatorial cut encodings. For the state-based DIDP model, we propose two cut encoding approaches: using additional preconditions of state transitions or adding state constraints. Each of these approaches can be modeled using integer numeric variables or set variables, resulting in four novel encodings. We apply the three cp variants and four DIDP variants to simple assembly line balancing problems with sequence-dependent setup times type-1 (SUALBP-1). Experimental results show all approaches outperform a mixed-integer programming (MIP) based master problem and the state-of-the-art monolithic MIP model, with the three cp variants being superior to all of the DIDP approaches. © Jiachen Zhang and J. Christopher Beck.

关键词： Encoding (symbols)

来源：评论

学校读者我要写书评

暂无评论

Efficient Implementation of the Global Cardinality constraint with Costs 30

Efficient Implementation of the Global Cardinality Constrain...

引用

30th international conference on principles and practice of constraint programming, cp 2024

作者： Schmied, Margaux Régin, Jean-Charles Université Côte d'Azur CNRS I3S Sophia Antipolis France

ISBN: (纸本)9783959773362

the success of constraint programming relies partly on the global constraints and implementation of the associated filtering algorithms. Recently, new ideas emerged to improve these implementations in practice, especially regarding the all different constraint. In this paper, we consider the cardinality constraint with costs. the cardinality constraint is a generalization of the all different constraint that specifies the number of times each value must be taken by a given set of variables in a solution. the version with costs introduces an assignment cost and bounds the total sum of assignment costs. the arc consistency filtering algorithm of this constraint is difficult to use in practice, as it systematically searches for many shortest paths. We propose a new approach that works with upper bounds on shortest paths based on landmarks. this approach can be seen as a preprocessing. It is fast and avoids, in practice, a large number of explicit computations of shortest paths. © Margaux Schmied and Jean-Charles Régin.

关键词： Wiener filtering

来源：评论

学校读者我要写书评

暂无评论

Mutational Fuzz Testing for constraint Modeling Systems 30

Mutational Fuzz Testing for Constraint Modeling Systems

引用

30th international conference on principles and practice of constraint programming, cp 2024

作者： Vanroose, Wout Bleukx, Ignace Devriendt, Jo Tsouros, Dimos Verhaeghe, Hélène Guns, Tias DTAI KU Leuven Belgium

ISBN: (纸本)9783959773362

constraint programming (cp) modeling languages, like MiniZinc, Essence and cpMpy, play a crucial role in making cp technology accessible to non-experts. Both solver-independent modeling frameworks and solvers themselves are complex pieces of software that can contain bugs, which undermines their usefulness. Mutational fuzz testing is a way to test complex systems by stochastically mutating input and verifying preserved properties of the mutated output. We investigate different mutations and verification methods that can be used on the constraint specifications directly. this includes methods proposed in the context of SMT problem specifications, as well as new methods related to global constraints, optimization, and solution counting/preservation. Our results show that such a fuzz testing approach improves the overall code coverage of a modeling system compared to only unit testing, and is able to find bugs in the whole toolchain, from the modeling language transformations themselves to the underlying solvers. © Wout Vanroose, Ignace Bleukx, Jo Devriendt, Dimos Tsouros, Hélène Verhaeghe, and Tias Guns.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

constraint Modelling with LLMs Using In-Context Learning 30

Constraint Modelling with LLMs Using In-Context Learning

引用

30th international conference on principles and practice of constraint programming, cp 2024

作者： Michailidis, Kostis Tsouros, Dimos Guns, Tias DTAI KU Leuven Belgium

ISBN: (纸本)9783959773362

constraint programming (cp) allows for the modelling and solving of a wide range of combinatorial problems. However, modelling such problems using constraints over decision variables still requires significant expertise, both in conceptual thinking and syntactic use of modelling languages. In this work, we explore the potential of using pre-trained Large Language Models (LLMs) as coding assistants, to transform textual problem descriptions into concrete and executable cp specifications. We present different transformation pipelines with explicit intermediate representations, and we investigate the potential benefit of various retrieval-augmented example selection strategies for in-context learning. We evaluate our approach on 2 datasets from the literature, namely NL4Opt (optimisation) and Logic Grid Puzzles (satisfaction), and a heterogeneous set of exercises from a cp course. the results show that pre-trained LLMs have promising potential for initialising the modelling process, with retrieval-augmented in-context learning significantly enhancing their modelling capabilities. © Kostis Michailidis, Dimos Tsouros, and Tias Guns.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

constraint programming Model for Assembly Line Balancing and Scheduling with Walking Workers and Parallel Stations 30

Constraint Programming Model for Assembly Line Balancing and...

引用

30th international conference on principles and practice of constraint programming, cp 2024

作者： Pucel, Xavier Roussel, Stéphanie ONERA ONERA DTIS Université de Toulouse Toulouse France

ISBN: (纸本)9783959773362

In the context of aircraft assembly lines, increasing the production rate and decreasing the operating costs are two important, and sometimes contradictory, objectives. In small assembly lines, sharing production resources across workstations is a simple and efficient way to reduce operating costs. therefore, workers are not assigned to a unique workstation but can walk between them. On the other side, paralleling workstations is an efficient way to increase the production rate. However, the combination of both strategies create complex conditions for tasks to access the production resources. this paper addresses the problem of allocating tasks to workstations and scheduling them in an assembly line where workers can freely walk across workstations, and where workstations can be organized in parallel. We model this novel problem with constraint programming. We evaluate it on real world industrial use cases coming from aircraft manufacturers, as well as synthetic use cases adapted from the literature. © Xavier Pucel and Stéphanie Roussel.

关键词： constraint programming

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共4页 << < 1 2 3 4 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：