Cantankerous
发表于 2025-3-23 12:56:53
Combining Constraint Propagation and Discrete Ellipsoid-Based Search to Solve the Exact Quadratic Kblems with linear constraints. We show that adding linear constraint propagation to DEBS results in an algorithm that is able to outperform both the state-of-the-art MIP solver CPLEX and a semi-definite programming approach by about one order of magnitude on two variations of the EQKP.
Curmudgeon
发表于 2025-3-23 15:36:20
ILP and CP Formulations for the Lazy Bureaucrat Problem,do-polynomial time and polynomial greedy heuristics are implemented and computationally compared with ILP/CP approaches. For the computational study, a large set of knapsack-type instances with various characteristics is used to examine the applicability and strength of the proposed approaches.
Hippocampus
发表于 2025-3-23 19:40:27
http://reply.papertrans.cn/47/4689/468816/468816_13.png
轿车
发表于 2025-3-23 23:38:11
http://reply.papertrans.cn/47/4689/468816/468816_14.png
裂缝
发表于 2025-3-24 04:01:58
http://reply.papertrans.cn/47/4689/468816/468816_15.png
北京人起源
发表于 2025-3-24 08:56:16
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/i/image/468816.jpg
interlude
发表于 2025-3-24 14:30:53
MaxSAT-Based Scheduling of B2B Meetings,In this work we propose a MaxSAT formulation for the problem of scheduling business-to-business meetings. We identify some implied constraints and provide distinct encodings of the used cardinality constraints. The experimental results show that the proposed technique outperforms previous existing approaches on this problem.
演绎
发表于 2025-3-24 16:25:29
https://doi.org/10.1007/978-3-319-18008-3algorithms; artificial intelligence; combinatorial optimization; comparison of models; constraint and lo
Invertebrate
发表于 2025-3-24 20:30:20
Integration of AI and OR Techniques in Constraint Programming12th International C
媒介
发表于 2025-3-25 03:01:39
http://reply.papertrans.cn/47/4689/468816/468816_20.png