propositionalized
Jump to navigation
Jump to search
English[edit]
Verb[edit]
propositionalized
- simple past and past participle of propositionalize
- 2015, Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry, Moshe Y. Vardi, “Approximate Probabilistic Inference via Word-Level Counting”, in arXiv[1]:
- 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).