Department of Computer Engineering and Informatics University of Patras, University Campus, GR-265 04 Patras, Greece;
机译:最小满意度问题的复杂性
机译:最小满足性问题的复杂性
机译:反向约束问题的复杂性和反向满足性问题的二分法
机译:最小满足性问题的复杂性
机译:可满足性问题的指数复杂性。
机译:线性规划研究随机可满足性问题的典型算法复杂度的相变
机译:最小满意度问题的复杂性
机译:广义的CNF可满足性,局部减少和简明扼要的问题的复杂性