boolean satisfiability problem

GPTKB entity