equisatisfiable

Hello, you have come here looking for the meaning of the word equisatisfiable. In DICTIOUS you will not only get to know all the dictionary meanings for the word equisatisfiable, but we will also tell you about its etymology, its characteristics and you will know how to say equisatisfiable in singular and plural. Everything you need to know about the word equisatisfiable you have here. The definition of the word equisatisfiable will help you to be more precise and correct when speaking or writing your texts. Knowing the definition ofequisatisfiable, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.

English

Etymology

From equi- +‎ satisfiable.

Adjective

equisatisfiable (not comparable)

  1. (logic) Of a pair of formulas, where one formula is satisfiable whenever the other is satisfiable (either both formulas are satisfiable or both are not).
    • 2015, Xu Lu, Zhenhua Duan, Cong Tian, “Extending PPTL for Verifying Heap Evolution Properties”, in arXiv‎:
      The "isomorphic" PPTL formulas can be obtained by first an equisatisfiable translation and then an isomorphic mapping.

Derived terms

Further reading

Wikious
Boobota
Sagapedia