Dipartimento di Sistemi e Informatica Universita di Firenze, Firenze, Italy;
Dipartimento di Sistemi e Informatica Universita di Firenze, Firenze, Italy;
Dipartimento di Scienze Matematiche ed Informatiche Universita di Siena, Siena, Italy;
discrete tomography; polynomial time algorithm; k-color problem;
机译:用于2色问题实例子类的重构算法
机译:光学解决方案,适用于平均#P次完整的硬实例(使用指数空间求解永久实例)
机译:使用模型转换解决复杂问题:从集合建模到SAT实例求解
机译:解决两种颜色问题的某些情况
机译:在解决应用程序可满足性实例时发现和利用结构
机译:一种实用的近似算法用于求解二叉树和非二叉树的大量杂交数实例
机译:解决两种颜色问题的某些情况