View on GitHub

QuantCert

QuantCert is a project around quantum computing certification

Download this project as a .zip file Download this project as a tar.gz file

New and improved bounds on the contextuality degree of multi-qubit configurations
and
Revealing contextuality of quantum configurations with a SAT solver

References

   
[dHG+21] Muller, Axel and Saniga, Metod and Giorgetti, Alain and de Boutray, Henri and Holweck, Frédéric. Revealing contextuality of quantum configurations with a SAT solver. Journées nationales du GDR GPL (Génie de la Programmation et du Logiciel), CNRS, groupe de travail LVP (Langages et Vérification de Programmes), 5-8 juin 2023, Rennes, France. Session posters et démos, 6 juin 2023. Poster