News for hackers. Stuff that matters.
Re:Modern SAT solvers: fast, neat and underused by sjg007 on Sunday May 19, 2019 @07:06PM (#19956147)
Graph symmetries seem like they should cancel out some how and be detectable by some linear algebra..
Re:Modern SAT solvers: fast, neat and underused by pdobsan on Sunday May 19, 2019 @08:04PM (#19956424)
Not sure what exactly you mean by that but finding symmetries in a graph that is determining its automorphism group is not a simple problem. It is closely related to the graph isomorphism problem, about which we don't currently know whether it is solvable in polynomial time or it is NP-complete. On the other hand, we know that the Integer Linear Programing problem is NP-complete.