equisatisfiability

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Etymology[edit]

equi- +‎ satisfiability

Noun[edit]

equisatisfiability (uncountable)

  1. (logic, of two formulas) The condition of being equisatisfiable.