Zulkoski, Edward; Bright, Curtis; Heinle, Albert; Kotsireas, Ilias; Czarnecki, Krzysztof; Ganesh, Vijay Combining SAT solvers with computer algebra systems to verify combinatorial conjectures. (English) Zbl 1410.68413 J. Autom. Reasoning 58, No. 3, 313-339 (2017). MSC: 68W30 05B20 05C15 05C38 68T15 PDFBibTeX XMLCite \textit{E. Zulkoski} et al., J. Autom. Reasoning 58, No. 3, 313--339 (2017; Zbl 1410.68413) Full Text: DOI
Courant, J.; Daubignard, M.; Ene, C.; Lafourcade, P.; Lakhnech, Y. Automated proofs for asymmetric encryption. (English) Zbl 1213.94094 J. Autom. Reasoning 46, No. 3-4, 261-291 (2011). MSC: 94A60 68Q60 68T15 PDFBibTeX XMLCite \textit{J. Courant} et al., J. Autom. Reasoning 46, No. 3--4, 261--291 (2011; Zbl 1213.94094) Full Text: DOI HAL