A Search Service for Abbreviation / Long Form
■略語/展開語 : SMT/Satisfiability+Modulo+Theories