Martijn Brehm

Une plongée dans la performance de l'informatique quantique sur les problèmes SAT par rapport aux méthodes classiques.