探索索引返回术语

布尔可满足性问题

判断是否存在一组变量赋值使布尔公式为真的问题，NP完全问题的典型代表

暂时没有与该实体关联的公开内容。