Integration of Constraint Programming, Artificial Intelligence, and Operations Research - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 29)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030782290, 9783030782306

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Partitioning Students into Cohorts During COVID-19

Integration of Constraint Programming, Artificial Intelligence, and Operations Research - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78230-6_6 ◽

2021 ◽

pp. 89-105

Author(s):

Richard Hoshino ◽

Irene Fabris

Two Deadline Reduction Algorithms for Scheduling Dependent Tasks on Parallel Processors

Integration of Constraint Programming, Artificial Intelligence, and Operations Research - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78230-6_14 ◽

2021 ◽

pp. 214-230

Author(s):

Claire Hanen ◽

Alix Munier Kordon ◽

Theo Pedersen

Keyword(s):

Parallel Processors ◽

Dependent Tasks

Supercharging Plant Configurations Using Z3

Integration of Constraint Programming, Artificial Intelligence, and Operations Research - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78230-6_1 ◽

2021 ◽

pp. 1-25

Author(s):

Nikolaj Bjørner ◽

Maxwell Levatich ◽

Nuno P. Lopes ◽

Andrey Rybalchenko ◽

Chandrasekar Vuppalapati

A$$^*$$-Based Compilation of Relaxed Decision Diagrams for the Longest Common Subsequence Problem

Integration of Constraint Programming, Artificial Intelligence, and Operations Research - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78230-6_5 ◽

2021 ◽

pp. 72-88

Author(s):

Matthias Horn ◽

Günther R. Raidl

Keyword(s):

Longest Common Subsequence ◽

Decision Diagrams ◽

Longest Common Subsequence Problem ◽

Common Subsequence

Logic-Based Benders Decomposition for an Inter-modal Transportation Problem

Integration of Constraint Programming, Artificial Intelligence, and Operations Research - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78230-6_20 ◽

2021 ◽

pp. 315-331

Author(s):

Ioannis Avgerinos ◽

Ioannis Mourtos ◽

Georgios Zois

Keyword(s):

Transportation Problem ◽

Benders Decomposition

Physician Scheduling During a Pandemic

Integration of Constraint Programming, Artificial Intelligence, and Operations Research - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78230-6_29 ◽

2021 ◽

pp. 456-465

Author(s):

Tobias Geibinger ◽

Lucas Kletzander ◽

Matthias Krainz ◽

Florian Mischek ◽

Nysret Musliu ◽

...

Keyword(s):

Physician Scheduling

SeaPearl: A Constraint Programming Solver Guided by Reinforcement Learning

Integration of Constraint Programming, Artificial Intelligence, and Operations Research - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78230-6_25 ◽

2021 ◽

pp. 392-409

Author(s):

Félix Chalumeau ◽

Ilan Coulon ◽

Quentin Cappart ◽

Louis-Martin Rousseau

Keyword(s):

Reinforcement Learning ◽

Constraint Programming

Learning Variable Activity Initialisation for Lazy Clause Generation Solvers

Integration of Constraint Programming, Artificial Intelligence, and Operations Research - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78230-6_4 ◽

2021 ◽

pp. 62-71

Author(s):

Ronald van Driel ◽

Emir Demirović ◽

Neil Yorke-Smith

Keyword(s):

Variable Activity ◽

Lazy Clause Generation

A Two-Stage Exact Algorithm for Optimization of Neural Network Ensemble

Integration of Constraint Programming, Artificial Intelligence, and Operations Research - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78230-6_7 ◽

2021 ◽

pp. 106-114

Author(s):

Keliang Wang ◽

Leonardo Lozano ◽

David Bergman ◽

Carlos Cardonha

Keyword(s):

Neural Network ◽

Exact Algorithm ◽

Neural Network Ensemble ◽

Two Stage

Injecting Domain Knowledge in Neural Networks: A Controlled Experiment on a Constrained Problem

Integration of Constraint Programming, Artificial Intelligence, and Operations Research - Lecture Notes in Computer Science ◽

10.1007/978-3-030-78230-6_17 ◽

2021 ◽

pp. 266-282

Author(s):

Mattia Silvestri ◽

Michele Lombardi ◽

Michela Milano

Keyword(s):

Neural Networks ◽

Domain Knowledge ◽

Controlled Experiment ◽

Constrained Problem

Integration of Constraint Programming, Artificial Intelligence, and Operations Research - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Partitioning Students into Cohorts During COVID-19

Two Deadline Reduction Algorithms for Scheduling Dependent Tasks on Parallel Processors

Supercharging Plant Configurations Using Z3

A$$^*$$-Based Compilation of Relaxed Decision Diagrams for the Longest Common Subsequence Problem

Logic-Based Benders Decomposition for an Inter-modal Transportation Problem

Physician Scheduling During a Pandemic

SeaPearl: A Constraint Programming Solver Guided by Reinforcement Learning

Learning Variable Activity Initialisation for Lazy Clause Generation Solvers

A Two-Stage Exact Algorithm for Optimization of Neural Network Ensemble

Injecting Domain Knowledge in Neural Networks: A Controlled Experiment on a Constrained Problem

Integration of Constraint Programming, Artificial Intelligence, and Operations Research - Lecture Notes in Computer Science
Latest Publications