AES, exotic semi-rings, Optimization, order encoding, program synthesis, SAT, SAT encodings, SMT-IDL, SMT-LIA.
