Problem derived from one entry in the 2014 SAT Challenge. It encodes an AES encryption and solving it perfectly could provide the encryption key.
Download QUBO Explanation of the file format
You must log in or register to submit a solution.