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

DOI10.1007/S10601-024-09371-WMaRDI QIDQ7031948zbMATH OpenFDO

Authors Fabio Tardivo, Agostino Dovier, Andrea Formisano, Laurent Michel, Enrico Pontelli

Publication date 6 February 2025

Published in Constraints (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S10601-024-09371-W

zbMATH Keywords

constraint propagationcumulativeenergetic reasoningGPUparallelism

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Deterministic scheduling theory in operations research (90B35)

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))\)
• A quadratic edge-finding filtering algorithm for cumulative resource constraints
• A synchronized sweep algorithm for the k-dimensional cumulative constraint
• Constraint propagation and decomposition techniques for highly disjunctive and highly cumulative project scheduling problems
• Constraint-based scheduling: Applying constraint programming to scheduling problems.
• Edge finding for cumulative scheduling
• Explaining the \texttt{cumulative} propagator
• Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint
• Failure-directed search for constraint-based scheduling
• Handbook of constraint programming.
• Handbook of parallel constraint reasoning
• 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 802345 (Why is no real title available?)
• Linear-time filtering algorithms for the disjunctive constraint and a quadratic filtering algorithm for the cumulative not-first not-last
• MiniCP: a lightweight solver for constraint programming
• On linear lower bounds for the resource constrained project scheduling problem.
• Principles and practice of constraint programming. 21st international conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015. Proceedings
• 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

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 Q7031948)