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.