求解开销相关硕士博士期刊学术论文

提出了在二元的满足问题中以搜索结点个数为衡量标准的求解开销模型，该模型被应用于随机二元约束满足问题的求解开销相变分析中，并且......