Résoudre des problèmes de SAT avec la plateforme Classiq sur Amazon Braket

Les problèmes de satisfiabilité booléenne (SAT) constituent une classe bien connue de problèmes informatiques difficiles (NP-Complete). Le processus de recherche de solutions à ces problèmes peut être réalisé à l'aide d'ordinateurs quantiques. Dans un récent billet publié sur le blog Amazon Braket, nous décrivons ce que sont les problèmes SAT et nous vous montrons comment exprimer des problèmes SAT avec la plateforme de conception d'algorithmes quantiques Classiq. Nous décrirons l'approche unique adoptée par Classiq - en démontrant comment Classiq utilise une modélisation fonctionnelle de haut niveau, synthétise des circuits quantiques et les exécute sur Amazon Braket. Dans ce billet de blog, vous apprendrez comment construire et résoudre un problème SAT avec Classiq et Amazon Braket.

Lisez l'intégralité du blog AWS sur la résolution de problèmes SAT avec Classiq sur Amazon Bracket ici.