Assuming $\mathcal C$ and $\mathcal D$ are locally small and small-cocomplete, a functor $F \colon \mathcal C \to \mathcal D$ has a left adjoint if and only if it is small-cocontinuous and satisfies the solution set condition. Therefore, a category $\mathcal C$ is strongly compact in your sense if and only if every small-cocontinuous functor with domain $\mathcal C$ satisfies the solution set condition. These categories were studied in Ulmer's [The adjoint functor theorem and the Yoneda embedding](https://projecteuclid.org/journals/illinois-journal-of-mathematics/volume-15/issue-3/The-adjoint-functor-theorem-and-the-Yoneda-embedding/10.1215/ijm/1256052605.full) (see Theorem 13, for instance), but were not given a name.

The relationship to compactness in the sense of Isbell, and totality, is described in Theorem 8 (where functors preserving all large colimits are called *supercocontinuous*). In particular, compactness is equivalent to totality, so your notion of strong compactness is a form of "small totality".

(Thanks to Ivan Di Liberti for pointing out a mistake in the original answer.)