Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results
Zhengbing Bian, Fabián A. Chudak, William G. Macready, Aidan Roy, Roberto Sebastiani, Stefano Varotti
Topics & Concepts
Maximum satisfiability problemQubitComputer scienceEncoding (memory)Quantum computerQuadratic equationQuadratic unconstrained binary optimizationQuantumSatisfiabilityTheoretical computer scienceAlgorithmMathematicsBoolean functionArtificial intelligencePhysicsQuantum mechanicsGeometryQuantum Computing Algorithms and ArchitectureQuantum Information and CryptographyCloud Computing and Resource Management