#satsolving — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #satsolving, aggregated by home.social.
-
Oh, polynomial3sat.org is down and the respective code on GitHub is removed. The corresponding paper on arXiv is still accessible. Does anyone know more about what happened?
https://arxiv.org/abs/1903.10081
#satsolving #complexitytheory #PequalsNP #compsci #theoreticalcomputerscience
-
Oh, polynomial3sat.org is down and the respective code on GitHub is removed. The corresponding paper on arXiv is still accessible. Does anyone know more about what happened?
https://arxiv.org/abs/1903.10081
#satsolving #complexitytheory #PequalsNP #compsci #theoreticalcomputerscience
-
@cjmuise @terri Creating a Mosaic Knitting pattern generator could be an interesting place to start. There are quite some limitations to mosaic knitting patterns, and they are typically geometric. It could be an interesting challenge to capture the rules of mosaic knitting into a CNF and have a solver generate solutions, then visualise them as patterns and allow the user to select one they like?
#knitting #geometry #programming #SATSolving #BooleanSatisfiability