Meanings
- participlepastsimple past and past participle of propositionalize
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).
2015, Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi, “Approximate Probabilistic Inference via Word-Level Counting”, in arXiv
Cite this entry
propositionalized. (n.d.). In WatkinsX Dictionary. Retrieved November 3, 2026, from https://dictionary.watkinsx.com/word/propositionalized
“propositionalized.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/propositionalized. Accessed November 3, 2026.
WatkinsX Dictionary, s.v. “propositionalized,” accessed November 3, 2026, https://dictionary.watkinsx.com/word/propositionalized.
Source: propositionalized on Wiktionary, CC BY-SA 4.0.