Hacker News Reader

But what variable assignment is being SATisfied?

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.

This does not answer the question. I think people here know how equations work. But what's the "x" in the article?

Think of cpu instructions as functions.

x is the set of inputs to an instruction.

I see. The goal is to find some x s.t f(x)!=g(x).