Solving Kakuro and Larger SAT Problems with Classiq

Hello all,

We recently published a blog post on solving SAT problems using Classiq that we thought might interest you. In the post, we show the automatically generated Classiq solution to Kakuro, as well as a 715-qubit circuit generated with a 100 clause oracle.

Check it out here.