On Optimal QUBO Encoding of Boolean Logic, (Max-)3-SAT and (Max-)k-SAT with Integer Programming - researchr publication

researchr

You are not signed in
Sign in
Sign up

Gregory Morse, Tamás Kozsik. On Optimal QUBO Encoding of Boolean Logic, (Max-)3-SAT and (Max-)k-SAT with Integer Programming. In Proceedings of the 7th International Conference on Algorithms, Computing and Systems, ICACS 2023, Larissa, Greece, October 19-21, 2023. pages 145-153, ACM, 2023. [doi]

Abstract is missing.

runs on WebDSL