Pages that link to "Item:Q3637173"

The following pages link to The Parameterized Complexity of k-Flip Local Search for SAT and MAX SAT (Q3637173):

Displaying 6 items.

• The parameterized complexity of \(k\)-flip local search for SAT and MAX SAT (Q456705) (← links)
• Analysis of local search landscapes for \(k\)-SAT instances (Q626907) (← links)
• Analyses on the 2 and 3-flip neighborhoods for the MAX SAT (Q1304388) (← links)
• Worst-case study of local search for MAX-\(k\)-SAT. (Q1408379) (← links)
• Efficient 2 and 3-flip neighborhood search algorithms for the MAX SAT: experimental Evaluation (Q1850970) (← links)
• Constraint Satisfaction Parameterized by Solution Size (Q3012823) (← links)