Simultaneous multithreading

Also known as SMT, Hyper-threading. This is the canonical page; those names redirect here.

SMT here is simultaneous multithreading; the solver sense is DPLL(T), which claims the SMT solving phrase instead.