Go to the corresponding LIPIcs Volume Portal 
Deza, Arnaud ; Liu, Chang ; Vaezipoor, Pashootan ; Khalil, Elias B.
pdfformat: 

@InProceedings{deza_et_al:LIPIcs.CP.2023.14, author = {Deza, Arnaud and Liu, Chang and Vaezipoor, Pashootan and Khalil, Elias B.}, title = {{Fast Matrix Multiplication Without Tears: A Constraint Programming Approach}}, booktitle = {29th International Conference on Principles and Practice of Constraint Programming (CP 2023)}, pages = {14:114:15}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959773003}, ISSN = {18688969}, year = {2023}, volume = {280}, editor = {Yap, Roland H. C.}, publisher = {Schloss Dagstuhl  LeibnizZentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/opus/volltexte/2023/19051}, URN = {urn:nbn:de:0030drops190518}, doi = {10.4230/LIPIcs.CP.2023.14}, annote = {Keywords: fast matrix multiplication, computerassisted proofs, constraint programming, constraint satisfaction problem} }
Keywords:  fast matrix multiplication, computerassisted proofs, constraint programming, constraint satisfaction problem  
Collection:  29th International Conference on Principles and Practice of Constraint Programming (CP 2023)  
Issue Date:  2023  
Date of publication:  22.09.2023  
Supplementary Material:  Software (Source Code): https://github.com/khalilresearch/MatrixMultCP/tree/main 