scientific article; zbMATH DE number 7552283

DOI10.13137/2464-8728/33310MaRDI QIDQ5087786zbMATH OpenFDO

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

Publication date 1 July 2022

zbMATH Keywords

parallelismconstraint logic programmingcomputable set theory

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Parallel algorithms in computer science (68W10) Logic in computer science (03B70) Applications of set theory (03E75)

Recommendations

• Constraint propagation on GPU: a case study for the cumulative constraint
• Conjugate gradients on multiple GPUs
• Cucheb: a GPU implementation of the filtered Lanczos procedure

Cites work

• scientific article; zbMATH DE number 3976287 (Why is no real title available?)
• scientific article; zbMATH DE number 3715506 (Why is no real title available?)
• scientific article; zbMATH DE number 3742588 (Why is no real title available?)
• scientific article; zbMATH DE number 50150 (Why is no real title available?)
• scientific article; zbMATH DE number 1337735 (Why is no real title available?)
• scientific article; zbMATH DE number 1368933 (Why is no real title available?)
• A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
• Adding partial functions to constraint logic programming with sets
• Automated proof of Bell-LaPadula security properties
• Constructive negation and constraint logic programming with sets
• Decidability results for sets with atoms
• Disunification in ACI1 theories
• Handbook of constraint programming.
• Interval propagation to reason about sets: Definition and implementation of a practical language
• Logic Programming
• Logic programs with stable model semantics as a constraint programming paradigm
• Principles and Practice of Constraint Programming – CP 2004
• Set constructors in a logic database language
• Set unification
• Solvable set/hyperset contexts. II: A goal-driven unification algorithm for the blended case
• {log}: A language for programming in logic with finite sets

Cited in

(2)

• Nested data-parallelism on the GPU
• A language for hierarchical data parallel design-space exploration on GPUs

Describes a project that uses

Uses Software

• CUDA
• MiniZinc
• Z
• JSetL
• SETL
• CUD@SAT

This page was built for publication:

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