|
書名・著者名等
|
Integration of Constraint Programming, Artificial Intelligence, and Operations Research : 18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings / edited by Peter J. Stuckey
|
|
資料種別
|
リモートファイル
|
|
版
|
1st ed. 2021
|
|
出版者・出版年
|
Cham : Springer International Publishing : Imprint: Springer , 2021
|
|
形状・大きさ
|
XVII, 468 p. 95 illus., 81 illus. in color : online resource
|
|
巻号情報
|
|
|
シリーズ名等
|
Theoretical Computer Science and General Issues <> 12735//a
|
|
内容著作注記
|
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
|
|
注記
|
This volume LNCS 12735 constitutes the papers of the 18th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2021, which was held in Vienna, Austria, in 2021. Due to the COVID-19 pandemic the conference was held online. The 30 regular papers presented were carefully reviewed and selected from a total of 75 submissions. The conference program included a Master Class on the topic "Explanation and Verification of Machine Learning Models"
|
|
NCID
|
9783030782313
|
|
本文の言語
|
英語
|
|
著者リンク
|
Stuckey, Peter J. <> editor
|
|
著者リンク
|
SpringerLink (Online service) <>
|
|
分類
|
DC23:004.0151
|
|
件名
|
Computer science—Mathematics
|
|
件名
|
Artificial intelligence
|
|
件名
|
Computer engineering
|
|
件名
|
Computer networks
|
|
件名
|
Computer science
|
|
件名
|
Software engineering
|
|
件名
|
Mathematics of Computing
|
|
件名
|
Artificial Intelligence
|
|
件名
|
Computer Engineering and Networks
|
|
件名
|
Theory of Computation
|
|
件名
|
Software Engineering
|
|
件名
|
Computer Engineering and Networks
|
|
電子書籍・雑誌へアクセス
|
https://doi.org/10.1007/978-3-030-78230-6
|
検索メニュー ▼
マイライブラリ ▼
