AWS Quantum Technologies Blog
Author: Shahak Lahav
Shahak Lahav is the Software Infrastructure Team Lead at Classiq. He is responsible for the design and development of Classiq’s cloud and software infrastructure. This includes integrating Classiq’s platform with quantum hardware and simulation providers, for seamless experience of quantum code development and execution. He has a Master’s degree in physics from Tel-Aviv university, where his research focused on modeling the internal structure of exoplanets.
Solving SAT problems with the Classiq platform on Amazon Braket
Boolean satisfiability problems (SAT) are a well-known class of difficult (NP-Complete) computational problems. The process of finding solutions to these problems can be performed using quantum computers. In this post, we will describe what SAT problems are and show you how to express SAT problems with the Classiq quantum algorithm design platform. We will outline […]