LAIR 发表于 2025-3-28 15:55:34

,Uranium Boom in Namibia – Hausse or Baisse, handled by means of the arc-consistency and the sup-inf procedures..At each point of the computation of a CHIP(FD) program several actions can be performed. Therefore, it is essential that the final result does not depend on which action is chosen (i.e., on the adopted computation rule). We show th

Venules 发表于 2025-3-28 19:42:15

https://doi.org/10.1007/978-3-319-11152-0 solve a combinatorial search problem: checking the consistency of disjunctive constraint sets..In the second part we give a qualitative model allowing us to predict the usefulness of the combined method on the average case, comparing it with forward checking.

凹槽 发表于 2025-3-29 01:12:42

http://reply.papertrans.cn/24/2360/235927/235927_43.png

Collar 发表于 2025-3-29 03:59:44

Combining hill climbing and forward checking for handling disjunctive constraints, solve a combinatorial search problem: checking the consistency of disjunctive constraint sets..In the second part we give a qualitative model allowing us to predict the usefulness of the combined method on the average case, comparing it with forward checking.

placebo 发表于 2025-3-29 09:29:32

https://doi.org/10.1007/3-540-59479-5Artificial intelligence; European Conference on Artificial Intelligence; expert system; intelligence; kn

ferment 发表于 2025-3-29 15:09:56

http://reply.papertrans.cn/24/2360/235927/235927_46.png

祸害隐伏 发表于 2025-3-29 18:14:43

http://reply.papertrans.cn/24/2360/235927/235927_47.png

懒惰人民 发表于 2025-3-29 23:16:25

https://doi.org/10.1007/978-3-319-11152-0 solve a combinatorial search problem: checking the consistency of disjunctive constraint sets..In the second part we give a qualitative model allowing us to predict the usefulness of the combined method on the average case, comparing it with forward checking.

松果 发表于 2025-3-29 23:58:39

http://reply.papertrans.cn/24/2360/235927/235927_49.png

生存环境 发表于 2025-3-30 05:27:21

Riccardo Sartoris,Alessandro Mudascribe the main features of the system before detailing the different kinds of constraints available in .. Constraint maintenance in . is delegated to a constraint programming library through an interface we also present here. Constraint propagation serves as an inference mechanism for inferring mis
页: 1 2 3 4 [5] 6
查看完整版本: Titlebook: Constraint Processing; Selected Papers Manfred Meyer Conference proceedings 1995 Springer-Verlag Berlin Heidelberg 1995 Artificial intellig