使高兴 发表于 2025-3-23 11:52:11

Towards a Compact SAT-Based Encoding of Itemset Mining Tasks,own declarative AI models, the problem is encoded as a constraints network or a propositional formula, whose associated models correspond to the patterns of interest. In this new declarative framework, new user-specified constraints can be easily integrated, while in traditional data mining, such ad

褪色 发表于 2025-3-23 15:08:34

,A Pipe Routing Hybrid Approach Based on A-Star Search and Linear Programming, is to connect an input configuration to an output configuration by using a pipe composed of a succession of straight sections and bends. The pipe is routed within a 3D continuous space divided into non-regular convex cells in order to take obstacles into account. Our objective is to consider severa

原谅 发表于 2025-3-23 18:51:46

http://reply.papertrans.cn/47/4689/468832/468832_13.png

使乳化 发表于 2025-3-24 01:35:11

,Two Deadline Reduction Algorithms for Scheduling Dependent Tasks on Parallel Processors,s on a limited number of processors. This decision problem is denoted by . in standard notations. The first technique is an extension of the Garey and Johnson algorithm that integrates precedence relations in energetic reasoning. The second one is an extension of the Leung, Palem and Pnueli algorith

并入 发表于 2025-3-24 04:23:20

http://reply.papertrans.cn/47/4689/468832/468832_15.png

发电机 发表于 2025-3-24 09:45:26

http://reply.papertrans.cn/47/4689/468832/468832_16.png

Hdl348 发表于 2025-3-24 14:10:55

Injecting Domain Knowledge in Neural Networks: A Controlled Experiment on a Constrained Problem, problems with implicit soft and hard constraints. In this paper, we consider a setup where one has offline access to symbolic, incomplete, problem knowledge, which cannot however be employed at search time. We show how such knowledge can be generally treated as a propagator, we devise an approach t

尽责 发表于 2025-3-24 18:28:23

Learning Surrogate Functions for the Short-Horizon Planning in Same-Day Delivery Problems,thin a short time while minimizing costs. In this work, we consider the short-horizon planning of a problem variant where every order has to be delivered with the goal to minimize delivery tardiness, travel times, and labor costs of the drivers involved. Stochastic information as spatial and tempora

malapropism 发表于 2025-3-24 23:05:10

http://reply.papertrans.cn/47/4689/468832/468832_19.png

向外供接触 发表于 2025-3-25 03:05:55

http://reply.papertrans.cn/47/4689/468832/468832_20.png
页: 1 [2] 3 4 5 6 7
查看完整版本: Titlebook: Integration of Constraint Programming, Artificial Intelligence, and Operations Research; 18th International C Peter J. Stuckey Conference p