Domain k-Wise Consistency Made as Simple as Generalized Arc Consistency

Mairy, Jean-Baptiste; Deville, Yves; Lecoutre, Christophe

doi:10.1007/978-3-319-07046-9_17

Search citation statements

Order By: Relevance

Paper Sections

Select...

Related Work1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2014

2018

Publication Types

Select...

Book3

Other1

Relationship

Self Cite0

Independent4

Authors

Journals

Cited by 4 publications

(1 citation statement)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These authors obtained speedups of up to 6.61, with problems like the Langford problem and some real-world problems such as the modified Renault problem [16], when comparing a sequential execution on a CPU with the hybrid CPU/GPU version.…”

Section: Related Workmentioning

confidence: 99%

Improving Constraint Solving on Parallel Hybrid Systems

Roque¹,

Pedro²,

Díaz³

et al. 2018

2018 IEEE 30th International Conference on Tools With Artificial Intelligence (ICTAI)

View full text Add to dashboard Cite

Recently, we developed the Parallel Heterogeneous Architecture Constraint Toolkit (PHACT), which is a multithreaded constraint solver capable of using all the available devices which are compatible with OpenCL, in order to speed up the constraint satisfaction process. In this article, we introduce an evolution of PHACT which includes the ability to execute FlatZinc and MiniZinc models, as well as architectural improvements which boost the performance in solving CSPs, especially when using GPUs.

show abstract

Section: Related Workmentioning

confidence: 99%