Generating instances for MAX2SAT with optimal solutions

DOI10.1007/S00224-005-1221-7zbMath1103.68998OpenAlexW2169060402MaRDI QIDQ2509039

Masaki Yamamoto

Publication date: 16 October 2006

Published in: Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00224-005-1221-7

Mathematics Subject Classification ID

Analysis of algorithms (68W40)

Related Items (1)

Average-case analysis for the MAX-2SAT problem

This page was built for publication: Generating instances for MAX2SAT with optimal solutions