PPT Slide
Perhaps theoretically, but often not in practice
--- It’s difficult to duplicate efforts put in designing
--- Encodings can compensate for much of the
loss due to going to a uniform representation
formalism (e.g. SAT, CSP, LP, or MIP).
Would specialized solver not be better?