equisatisfiable
English edit
Etymology edit
equi- + satisfiable
Adjective edit
equisatisfiable (not comparable)
- (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.
Further reading edit
- Equisatisfiability on Wikipedia.Wikipedia