Skip to Main content Skip to Navigation
Conference papers

Structures de données persistantes pour le backtracking et le parallélisme en PPC.

Abstract : We present the data structures used by the Concrete constraint solver to represent the state of a problem during search. The use of purely functional data structures enable us to implement non-chronological backtracking and parallel resolution easily.
Document type :
Conference papers
Complete list of metadata

https://hal-uphf.archives-ouvertes.fr/hal-03388243
Contributor : Mylène Delrue Connect in order to contact the contributor
Submitted on : Wednesday, October 20, 2021 - 12:06:33 PM
Last modification on : Wednesday, November 3, 2021 - 4:43:31 AM

Identifiers

  • HAL Id : hal-03388243, version 1

Collections

Citation

Julien Vion. Structures de données persistantes pour le backtracking et le parallélisme en PPC.. Actes des douzièmes journées francophones de la programmation par contraintes (JFPC 2016), Jun 2016, Montpellier, France. ⟨hal-03388243⟩

Share

Metrics

Record views

15