Subject
General Materials Science
Reference14 articles.
1. Verifying Large Multipliers by Combining SAT and Computer Algebra
2. Parhami, B. (2000) Computer Arithmetic—Algorithms and Hardware Designs. Oxford University Press, Oxford.
3. Local Search for Fast Matrix Multiplication
4. Bright, C., Kotsireas, I. and Ganesh, V. (2019) SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics.
5. Applying computer algebra systems with SAT solvers to the Williamson conjecture