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..
[ Parent
| on HN ]
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.