On Minimal Constraint Networks

In a minimal binary constraint network, every tuple of a constraint relation can be extended to a solution. It was conjectured that computing a solution to such a network is NP hard. We prove this conjecture. We also prove a conjecture by Dechter and Pearl stating that for k ≥ 2 it is NP-hard to dec...

Mô tả đầy đủ

Chi tiết về thư mục
Tác giả chính: Gottlob, G
Định dạng: Conference item
Được phát hành: Perugia‚ Italy 2011
Search Result 1

On Minimal Constraint Networks Bằng Gottlob, G

Được phát hành 2011
Journal article