咨询与建议

限定检索结果

文献类型

  • 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
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 general...
来源: 评论
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 retr...
来源: 评论
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
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 pr... 详细信息
来源: 评论
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
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 t... 详细信息
来源: 评论
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
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 reaso... 详细信息
来源: 评论
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
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... 详细信息
来源: 评论
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
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, especi... 详细信息
来源: 评论
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
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 themselv... 详细信息
来源: 评论
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
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 experti... 详细信息
来源: 评论
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
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 reso... 详细信息
来源: 评论