Efficiently representing the integer factorization problem using binary decision diagrams