Graph concept reduction to SAT solver