Disambiguation evidence for Boolean satisfiability problem via surface form
"Boolean satisfiability"
Triples (1)
Triples where some other subject referred to this entity
as "Boolean satisfiability".
IC3 model checking algorithm
→
basedOn
→
"Boolean satisfiability"
ⓘ
↳ resolves to Boolean satisfiability problem