SATNet icon indicating copy to clipboard operation
SATNet copied to clipboard

How to get rules generated for Sudoku Solver?

Open joshuanoronha opened this issue 3 years ago • 3 comments

I was trying to replicate the results in the experiment and was having a hard time finding the rules generated. Is there any method to get the rules generated? It would be really helpful for my research project

Sorry for raising an issue in Github, I didn't know any other way to get in touch with you

Thanks for this awesome project btw, I really love what yall have done

joshuanoronha avatar Oct 24 '22 19:10 joshuanoronha

Thanks for your interest in the project! By the continuous nature of DL, the learnt clause matrix is not ternary. It is a mixture of (weighted) ternary clause matrices. So I will say that getting the exact clause matrix from the mixture is more like a research topic to be developed since it's a "search" to discretize the clause matrix. A combination of sparse regularizer / recursive search on each row may help in the research direction.

xflash96 avatar Oct 31 '22 20:10 xflash96

Thank you so much for the reply! I have a few more doubts on this topic, could we connect on zoom whenever you are free? My email id is [email protected]

joshuanoronha avatar Nov 09 '22 18:11 joshuanoronha

Hi! I think I might have miss something on the math, but isn’t the V and S matriz de clause matrix? You mean the difficulty because they’re not ternary?

shllgtca avatar Apr 04 '23 10:04 shllgtca