Matches in DBpedia 2014 for { ?s ?p <http://rdf.freebase.com/ns/m.01hmj> . }
Showing items 1 to 18 of
18
with 100 items per page.
- 3-satisfiability sameAs m.01hmj.
- 3cnf sameAs m.01hmj.
- 3cnf-sat sameAs m.01hmj.
- 3cnfsat sameAs m.01hmj.
- Boolean_SAT sameAs m.01hmj.
- Boolean_SAT_solver sameAs m.01hmj.
- Boolean_Satisfiability sameAs m.01hmj.
- Boolean_satisfiability sameAs m.01hmj.
- Boolean_satisfiability_problem sameAs m.01hmj.
- CNF-SAT sameAs m.01hmj.
- CNFSAT sameAs m.01hmj.
- Counted_Boolean_Satisfiability_Problem sameAs m.01hmj.
- K-SAT sameAs m.01hmj.
- K-cnf-sat sameAs m.01hmj.
- One-in-three_3SAT sameAs m.01hmj.
- Propositional_satisfiability sameAs m.01hmj.
- Satisfiability_Problem sameAs m.01hmj.
- Satisfiability_of_boolean_expressions sameAs m.01hmj.