Meaning of equisatisfiable | Babel Free
Definitions
Of a pair of formulas, where one formula is satisfiable whenever the other is satisfiable (either both formulas are satisfiable or both are not).
not-comparable
Examples
“The "isomorphic" PPTL formulas can be obtained by first an equisatisfiable translation and then an isomorphic mapping.”
CEFR level
C2
Mastery
This word is part of the CEFR C2 vocabulary — mastery level.
This word is part of the CEFR C2 vocabulary — mastery level.
Know this word better than we do? Language is a living thing — help us keep it growing. Collaborate with Babel Free