Equisatisfiability is a concept in logic and computer science, particularly within the fields of propositional logic and satisfiability (SAT) problems. Two logical formulas are said to be equisatisfiable if they have the same satisfiability status; that is, if one formula is satisfiable (there exists an assignment of truth values to its variables that makes the formula true), then the other formula is also satisfiable, and vice versa.
Articles by others on the same topic
There are currently no matching articles.