Jump to content

equisatisfiable

From Wiktionary, the free dictionary

English

[edit]

Etymology

[edit]

From equi- +‎ satisfiable.

Adjective

[edit]

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‎[1]:
      The "isomorphic" PPTL formulas can be obtained by first an equisatisfiable translation and then an isomorphic mapping.

Derived terms

[edit]

Further reading

[edit]
Retrieved from "https://en.wiktionary.org/w/index.php?title=equisatisfiable&oldid=83233966"