Constraint propagation on GPU: a case study for the cumulative constraint

DOI10.1007/978-3-031-33271-5_22MaRDI QIDQ6080979zbMATH OpenOpenAlexFDO

Authors

Publication date 4 October 2023

Published in Integration of Constraint Programming, Artificial Intelligence, and Operations Research (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-33271-5_22

zbMATH Keywords

constraint propagationcumulativeGPUparallelism

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Operations research and management science (90Bxx) Combinatorial optimization (90C27)

Cites work

• A \(O(n\log ^2 n)\) checker and \(O(n^2\log n)\) filtering algorithm for the energetic reasoning
• A cumulative not-first/not-last filtering algorithm in \(O(n^2 \log(n))\)
• Constraint-based scheduling: Applying constraint programming to scheduling problems.
• Edge finding for cumulative scheduling
• Handbook of constraint programming.
• Horizontally elastic not-first/not-last filtering algorithm for cumulative resource constraint
• scientific article; zbMATH DE number 3782375 (Why is no real title available?)
• scientific article; zbMATH DE number 3639144 (Why is no real title available?)
• scientific article; zbMATH DE number 802345 (Why is no real title available?)
• MiniCP: a lightweight solver for constraint programming
• On linear lower bounds for the resource constrained project scheduling problem.
• Principles of Constraint Programming
• PSPLIB -- a project scheduling problem library
• Satisfiability tests and time-bound adjustments for cumulative scheduling problems
• Time-table disjunctive reasoning for the cumulative constraint
• Timetable edge finding filtering algorithm for discrete cumulative resources
• Understanding the potential of propagators

Cited in

(1)

• scientific article; zbMATH DE number 7552283 (Why is no real title available?)

This page was built for publication: Constraint propagation on GPU: a case study for the cumulative constraint

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6080979)