3 ms·

But what variable assignment is being SATisfied?

• fooker 3y ago
  if f(x) == g(x) is satisfiable, you get one value of x for which f(x) == g(x) if f(x) != g(x) is satisfiable, you get one value of x for which f(x) != g(x) Both of these are useful in practice.
  • programmer_dude 3y ago
    This does not answer the question. I think people here know how equations work. But what's the "x" in the article?
    • fooker 3y ago
      Think of cpu instructions as functions. x is the set of inputs to an instruction.
  • bjourne 3y ago
    I see. The goal is to find some x s.t f(x)!=g(x).