近似模型集

Question

有没有办法获得表达式（包含比特矢量）的模型集的（过度/低于）近似值，而不用枚举所有模型？结果应该是表达式本身，即近似集合的特征函数。谢谢！