Cited By
View all- Ajani YBright C(2024)SAT and Lattice Reduction for Integer FactorizationProceedings of the 2024 International Symposium on Symbolic and Algebraic Computation10.1145/3666000.3669712(391-399)Online publication date: 16-Jul-2024
- Bright CKotsireas IGanesh V(2022)When satisfiability solving meets symbolic computationCommunications of the ACM10.1145/350092165:7(64-72)Online publication date: 21-Jun-2022
- Bright CKotsireas IGanesh V(2020)Applying computer algebra systems with SAT solvers to the Williamson conjectureJournal of Symbolic Computation10.1016/j.jsc.2019.07.024100:C(187-209)Online publication date: 1-Sep-2020
- Show More Cited By