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...
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.
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...
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.
constraintprogramming (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...
详细信息
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...
详细信息
We present a novel scheduling model that leverages constraintprogramming (cp) to enhance problem solving performance in Temporal Planning. Building on the established strategy of decomposing causal and temporal reaso...
详细信息
We investigate using constraintprogramming (cp) and Domain-Independent Dynamic programming (DIDP) to solve the master problem in Logic-based Benders Decomposition (LBBD) models, in particular addressing the challenge...
详细信息
the success of constraintprogramming relies partly on the global constraints and implementation of the associated filtering algorithms. Recently, new ideas emerged to improve these implementations in practice, especi...
详细信息
constraintprogramming (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...
详细信息
constraintprogramming (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...
详细信息
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...
详细信息
暂无评论