Disambiguation evidence for k-SAT via surface form
"2-SAT is solvable in polynomial time"
Triples (1)
Triples where some other subject referred to this entity
as "2-SAT is solvable in polynomial time".