Representing the Integer Factorization Problem Using Ordered Binary Decision Diagrams. - David E. Brown; David Skidmore (Theory Comput. Syst., 2023)