Titlebook: Integration of AI and OR Techniques in Constraint Programming; 12th International C Laurent Michel Conference proceedings 2015 Springer Int

Cantankerous

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

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

轿车

裂缝

北京人起源

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/i/image/468816.jpg

interlude

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.

演绎

https://doi.org/10.1007/978-3-319-18008-3algorithms; artificial intelligence; combinatorial optimization; comparison of models; constraint and lo

Invertebrate

Integration of AI and OR Techniques in Constraint Programming12th International C

媒介