Décider la contextualité de configurations quantiques avec un solveur SAT - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

Décider la contextualité de configurations quantiques avec un solveur SAT

Résumé

Cet article présente mes travaux de recherche en première année de thèse, à l’institut FEMTO-ST à Besançon, sous la direction de M. Alain Giorgetti et le co-encadrement de M. Frédéric Holweck.
Fichier principal
Vignette du fichier
c23e09eb-87ff-4bba-aec9-83c3b4670535-author.pdf (112.73 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04390478 , version 1 (12-01-2024)

Identifiants

  • HAL Id : hal-04390478 , version 1

Citer

Axel Muller. Décider la contextualité de configurations quantiques avec un solveur SAT. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2023, Rennes, France. ⟨hal-04390478⟩
34 Consultations
11 Téléchargements

Partager

Gmail Facebook X LinkedIn More