CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Constraint Propagation on GPU: A Case Study for the Cumulative Constraint
F. Tardivo
,
Agostino Dovier
,
A. Formisano
,
L. Michel
,
E. Pontelli
2023-01-01
Cite
DOI
Type
Conference paper
Publication
Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 20th International Conference
Related
Constraint propagation on GPU: A case study for the AllDifferent constraint
Constraints Propagation on GPU: A Case Study for AllDifferent
Prolog Meets Biology
Towards distributed computation of answer sets
Parallel Answer Set Programming
Cite
×