Derivation of a Scalable Solution for the Problem of Factoring an n-bit Integer

References (31)

1. 1 Boolean Methods in Operations Research and Related Areas [DOI]
2. 2 Boolean Functions: Theory, Algorithms, and Applications
3. 3 Boolean functions and equations
4. 4 Boolean Reasoning: The Logic of Boolean Equations
5. 5 Factoring Large Numbers with the TWIRL Device [DOI]
6. 6 Lattice Functions and Equations [DOI]
7. 7 Using variable-entered Karnaugh maps to produce compact parametric general solutions of Boolean equations [DOI]
8. 8 K-means Clustering for Multispectral Images Using Floating-Point Divide [DOI]
9. 9 A Boolean minimization procedure using the variable-entered Karnaugh map and the generalized consensus concept [DOI]
10. 10 Scalable Hardware for Sparse Systems of Linear Equations, with Applications to Integer Factorization [DOI]
11. 11 Skolem functions for factored formulas [DOI]
12. 12 Further Improved Variable-Entered Karnaugh Map Procedures for Obtaining the Irredundant Forms of an Incompletely-Specified Switching Function [DOI]
13. 13 Integer factorization with a neuromorphic sieve [DOI]
14. 14 On Reliability Evaluation by Network Decomposition [DOI]
15. 15 A New Cryptographic Scheme Utilizing the Difficulty of Big Boolean Satisfiability [DOI]
16. 16 A Novel Method for Compact Listing of All Particular Solutions of a System of Boolean Equations [DOI]
17. 17 An efficient method for integer factorization [DOI]
18. 18 Factoring Integers With a Brain-Inspired Computer [DOI]
19. 19 CAIRN3: An FPGA Implementation of the Sieving Step with the Lattice Sieving
20. 20 Digital Circuit Design Utilizing Equation Solving over ‘Big’ Boolean Algebras [DOI]
21. 21 Derivation of All Particular Solutions of a ‘Big’ Boolean Equation with Applications in Digital Design [DOI]
22. 22 Formal Derivation of a Particular Input of a Single AND (OR) Gate in Terms of Its Output and Other Inputs [DOI]
23. 23 Satisfiability in Big Boolean Algebras via Boolean-Equation Solving [DOI]
24. 24 A Dedicated Sieving Hardware [DOI]
25. 25 Yet Another Sieving Device [DOI]
26. 26 Factoring large numbers with programmable hardware [DOI]
27. 27 Solution of a class of Boolean equations [DOI]
28. 28 Efficient solution of systems of Boolean equations [DOI]
29. 29 Design of a Digital Circuit for Integer Factorization via Solving the Inverse Problem of Logic [DOI]
30. 30 The Vertex-Frame Method for Obtaining Minimal Proposition-Letter Formulas [DOI]
31. 31 Handbook of applied cryptography [DOI]

Cited by 6

Related research

• Design of a Hardware Circuit for Integer Factorization Using a Big Boolean Algebra — shares topic coverage
• Design of a Digital Circuit for Integer Factorization via Solving the Inverse Problem of Logic — shares topic coverage
• Connections on Valuated Binary Tree and Their Applications in Factoring Odd Integers — shares topic coverage
• More Connections on Valuated Binary Tree and Their Applications in Factoring Odd Integers — shares topic coverage
• Complexity of Finding Values of the Generalized Taxicab Number — shares topic coverage