search

locuslab / SATNet

Bridging deep learning and logical reasoning using a differentiable satisfiability solver.
MIT License
405 stars 52 forks source link

How to get rules generated for Sudoku Solver? #12

Open joshuanoronha opened 2 years ago

joshuanoronha commented 2 years ago

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

xflash96 commented 2 years ago

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.

joshuanoronha commented 2 years ago

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 jnoronha@asu.edu

shllgtca commented 1 year ago

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?