equisatisfiable

English

Etymology

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.

Further reading
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.