Near Matches
Ignore Exact
Everything
2
Satisfiable (definition)
See all of Satisfiable
, no other writeups in this node.
(
definition
)
by
Webster 1913
Wed Dec 22 1999 at 2:52:02
Sat"is*fi`a*ble
, a.
That may be satisfied.
©
Webster 1913
.
3SAT
Connectivity is not expressible in first-order logic
finitely satisfiable