What does "propositionalized" mean?

simple past and past participle of propositionalize

What is a synonym for "propositionalized"?

Common synonyms include: assert, convert, declarative, distill, encode, express.

Propositionalized

verb

verb ·Rare ·Advanced level

Definitions

Verb

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)."

Synonyms

All synonyms

assert convert declarative distill encode express

Antonyms

All antonyms

complicate contextualize deny depropositionalize

Example

More examples

"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)."

More for "propositionalized"

Synonyms

Next best steps

Find stronger synonyms Browse writing guides Explore topic clusters