×
曼纽尔·博迪尔斯基；彼得·琼森；范特朗

系统发育约束满足问题的复杂性。 （英语） Zbl 1407.68206号

ACM事务处理。计算。日志。 第18条第3款第23条第42页（2017年）.

引用于8文件

MSC公司：

65年第68季度 算法和问题复杂性分析
2017年第68季度 问题的计算难度（下限、完备性、近似难度等）
92D15型 与进化有关的问题

关键词：

约束满足问题；拉姆齐理论；计算复杂性；模型理论；系统发育重建

引文：

Zbl 0462.68086号
PDF格式BibTeX公司 XML格式引用
\textit{M.Bodirsky}等人，《美国医学杂志》。计算。日志。18，第3号，第23条，第42页（2017年；Zbl 1407.68206）
全文： 内政部 arXiv公司