Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Compilation for QCSP

Abstract :

We propose in this article a framework for compilation of quantified constraint satisfaction problems (QCSP).
We establish the semantics of this formalism by an interpretation to a QCSP.
We specify an algorithm to compile a QCSP embedded into a search algorithm and based on the inductive semantics of QCSP.
We introduce an optimality property and demonstrate the optimality of the interpretation of the compiled QCSP.

 

Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-03352558
Contributeur : Okina Univ Angers Connectez-vous pour contacter le contributeur
Soumis le : jeudi 23 septembre 2021 - 12:18:35
Dernière modification le : mercredi 20 octobre 2021 - 03:19:09

Identifiants

  • HAL Id : hal-03352558, version 1
  • OKINA : ua8045

Collections

Citation

Igor Stéphan. Compilation for QCSP. Proceedings of the 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS'13), 2013, Istanbul, Turkey. ⟨hal-03352558⟩

Partager

Métriques

Consultations de la notice

6