Related terms:
reachability relation
node n
satisfying assignment
may be represented
transitive reduction
median graph
two clauses
topological sort
strongly connected component
binary decision
graph may
directed path
reachability
truth assignment
row and column
been visited
directed acyclic
hasse diagram
conjunctive normal form
inference rule
acyclic graph
directed acyclic graph
approximation ratio
orienting
hamiltonian path
transitive closure
orthogonally
vertex cover
row or column
rows and columns
Wikipedia sources:
Topological sorting
Directed acyclic graph
2-satisfiability
Context for words:
topological
ordering
|
|