×
安德烈·布拉托夫（Andrei A.Bulatov）。;马丁·戴尔;莱斯利·安·戈德伯格;马克·杰鲁姆;科林·麦克奎伦

布尔域上函数的可表达性，用于计算CSP。 （英语） 兹比尔1281.68131

美国临床医学杂志 第60号第5条第32条第36页（2013年）.

引用于18文件

MSC公司：

65年第68季度 算法和问题复杂性分析
68周25 近似算法
90C60型 数学规划问题的抽象计算复杂性

关键词：

近似算法;计算复杂性;约束满足问题;计数问题
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Bulatov}et al.，J.ACM 60，No.5，Article No.32，36 p.（2013；Zbl 1281.68131）
全文： 内政部 arXiv公司