UNSAT

GPTKB entity

Statements (11)
Predicate Object
gptkbp:instanceOf abbreviation
https://www.w3.org/2000/01/rdf-schema#label UNSAT
gptkbp:meaning no assignment satisfies the formula
gptkbp:opposedBy gptkb:SAT
gptkbp:standsFor unsatisfiable
gptkbp:usedIn gptkb:logic
automated theorem proving
SAT solving
constraint satisfaction problems
gptkbp:bfsParent gptkb:co-NP
gptkbp:bfsLayer 5