solvable by

URI: https://gptkb.org/prop/solvable_by
3 triples
GPTKB property
Random triples
Subject Object
gptkb:3-SAT gptkb:CDCL_SAT_solvers
gptkb:Set_Cover_Problem gptkb:integer_linear_programming
gptkb:3-SAT gptkb:DPLL_algorithm