TY  - RPRT
TI  - A compact QUBO encoding of computational logic formulae demonstrated on cryptography constructions
AU  - Gregory Morse
AU  - Tamás Kozsik
AU  - Oskar Mencer
AU  - Peter Rakyta
PY  - 2026
UR  - https://arxiv.org/abs/2409.07501
ID  - 2409.07501
ER  -