[Done] TailoredQAOAfor1in3SAT_CalculoMinimus

[hannesleipold2]

Project Name:

Increasing Quantum Advantage with Tailored QAOA for 1-in-3 SAT

Team Name:

CalculoMinimus

Which challenges would you like to submit your project for?

Hybrid Quantum-Classical Computing Challenge
Quantum Computing Today!
Nvidia Challenge
Amazon Braket Challenge

Power-Up plan:

Nvidia/Cyxtera Technologies/Run:ai: We will develop CUDA based methods for our large-scale simulations and push for the largest data sizes possible. We plan to make use of the GPUs for training smaller instances in longer optimization loops and then for tackling the largest problem instances as efficiently as possible in Julia.

Amazon Braket Hackathon: We will develop fast CPU and memory efficient methods to push for computing many instances in parallel. This also includes brute force solving the 1-in-3 SAT instances to pre-compute the entire solution ground space for proper benchmarking.

Project Link:

https://github.com/hannesleipold2/TailoredQAOAfor1in3SAT

Remember not to modify this issue after the due date or it will not be evaluated

We allow Xanadu Quantum Technologies to share our email addresses with the Power-Up Sponsors for the purpose of facilitating the delivery of the Power-Ups.

YES, we consent to our emails being shared with Power-Up Sponsors.

(If applying for AWS’s credits) We have an AWS account

YES, we have an AWS account.