Décidabilité de contraintes du premier ordre par contraintes duales

Khalil Djelloul

Communication Dans Un Congrès Année : 2009

Décidabilité de contraintes du premier ordre par contraintes duales

(1)

Khalil Djelloul

Fonction : Auteur
PersonId : 850357

Laboratoire d'Informatique Fondamentale d'Orléans

Résumé

Non disponible

Domaines

Intelligence artificielle [cs.AI]

Fichier principal

paper_13.pdf (175.52 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

Yves Deville : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00387824

Soumis le : lundi 25 mai 2009-21:17:41

Dernière modification le : samedi 25 juin 2022-10:10:55

Archivage à long terme le : lundi 15 octobre 2012-11:06:03

Dates et versions

hal-00387824 , version 1 (25-05-2009)

Identifiants

HAL Id : hal-00387824 , version 1

Citer

Khalil Djelloul. Décidabilité de contraintes du premier ordre par contraintes duales. Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Jun 2009, France. pp.255-265. ⟨hal-00387824⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ORLEANS JFPC09 MSL MSL-THESE

67 Consultations

35 Téléchargements

Décidabilité de contraintes du premier ordre par contraintes duales

Résumé

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Partager