We gratefully acknowledge support from
the Simons Foundation and member institutions.

Peter Rakyta is qualified to endorse.

A compact QUBO encoding of computational logic formulae demonstrated on cryptography constructions

Peter Rakyta: Is registered as an author of this paper.
Can endorse for quant-ph. (why?)

Gregory Morse, Tamás Kozsik and Oskar Mencer are not registered as owners of this paper. (why?)