Integration of constraint programmin...
International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (2021 :)

FindBook      Google Book      Amazon      博客來     
  • Integration of constraint programming, artificial intelligence, and operations research = 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021 : proceedings /
  • 紀錄類型: 書目-電子資源 : Monograph/item
    正題名/作者: Integration of constraint programming, artificial intelligence, and operations research/ edited by Peter J. Stuckey.
    其他題名: 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021 : proceedings /
    其他題名: CPAIOR 2021
    其他作者: Stuckey, Peter J.
    團體作者: International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems
    出版者: Cham :Springer International Publishing : : 2021.,
    面頁冊數: xvii, 468 p. :ill. (some col.), digital ;24 cm.
    內容註: Supercharging Plant Configurations using Z3 -- Why You Should Constrain Your Machine Learned Models -- Contextual Optimization: Bridging Machine Learning and Operations -- A Computational Study of Constraint Programming Approaches for Resource-Constrained Project Scheduling with Autonomous Learning Effects -- Strengthening of feasibility cuts in logic-based Benders decomposition -- Learning Variable Activity Initialisation for Lazy Clause Generation Solvers -- A*-based Compilation of Relaxed Decision Diagrams for the Longest Common Subsequence Problem -- Partitioning Students into Cohorts during COVID-19 -- A Two-Phases Exact Algorithm for Optimization of Neural Network Ensemble -- Complete Symmetry Breaking Constraints for the Class of Uniquely Hamiltonian Graphs -- Heavy-Tails and Randomized Restarting Beam Search in Goal-Oriented Neural Sequence Decoding -- Combining Constraint Programming and Temporal Decomposition Approaches - Scheduling of an Industrial Formulation Plant -- The Traveling Social Golfer Problem: the case of the Volleyball Nations League -- Towards a Compact SAT-based Encoding of Itemset Mining Tasks -- A Pipe Routing Hybrid Approach based on A-Star Search and Linear Programming -- MDDs boost equation solving on discrete dynamical systems -- Variable Ordering for Decision Diagrams: A Portfolio Approach -- Two Deadline Reduction Algorithms for Scheduling Dependent Tasks on Parallel Processors -- Improving the Filtering of Branch-And-Bound MDD solver -- On the Usefulness of Linear Modular Arithmetic in Constraint Programming -- Injecting Domain Knowledge in Neural Networks: a Controlled Experiment on a Constrained Problem -- Learning Surrogate Functions for the Short-Horizon Planning in Same-Day Delivery Problems -- Between Steps: Intermediate Relaxations between big-M and Convex Hull Formulations -- Logic-Based Benders Decomposition for an Inter-modal Transportation Problem -- Checking Constraint Satisfaction -- Finding Subgraphs with Side Constraints -- Short-term scheduling of production fleets in underground mines using CP-based LNS -- Learning to Reduce State-Expanded Networks for Multi-Activity Shift Scheduling -- SeaPearl: A Constraint Programming Solver guided by Reinforcement Learning -- Learning to Sparsify Travelling Salesman Problem Instances -- Optimized Item Selection to Boost Exploration for Recommender Systems -- Improving Branch-and-Bound using Decision Diagrams and Reinforcement Learning -- Physician Scheduling During a Pandemic.
    Contained By: Springer Nature eBook
    標題: Constraint programming (Computer science) - Congresses. -
    電子資源: https://doi.org/10.1007/978-3-030-78230-6
    ISBN: 9783030782306
館藏地:  出版年:  卷號: 
館藏
  • 1 筆 • 頁數 1 •
  • 1 筆 • 頁數 1 •
多媒體
評論
Export
取書館
 
 
變更密碼
登入