Average-Case Analysis for the MAX-2SAT Problem

DOI10.1007/11814948_27zbMath1185.68658OpenAlexW1560273381MaRDI QIDQ5756558

Masaki Yamamoto, Osamu Watanabe

Publication date: 4 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11814948_27

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (3)

A Spectral Method for MAX2SAT in the Planted Solution Model ⋮ Finding most likely solutions ⋮ Unnamed Item

This page was built for publication: Average-Case Analysis for the MAX-2SAT Problem