Skip to main content

Research Repository

Advanced Search

Outputs (87)

On the hardness of losing weight (2008)
Presentation / Conference Contribution
Krokhin, A., & Marx, D. (2008, July). On the hardness of losing weight. Presented at Automata, Languages and Programming (ICALP 2008), Reykjavik, Iceland

We study the complexity of local search for the Boolean constraint satisfaction problem (CSP), in the following form: given a CSP instance, that is, a collection of constraints, and a solution to it, the question is whether there is a better (lighter... Read More about On the hardness of losing weight.