propositionalized

动词 v.

英文释义

动词 v.
  1. simple past and past participle of propositionalize form-of,participle,past
    — Techniques based on bit-level (or Boolean) hash functions require these problems to be propositionalized, making it impossible to leverage the remarkable progress made in SMT (Satisfiability Modulo Theory) solvers that can reason directly over words (or bit-vectors).
0 次浏览 数据来源: Wiktionary