Instance generating algorithms for MAX2SAT with optimal solutions

Abstract

Abstract: Instance generating algorithms for MAX2SAT are proposed. The algorithms produce instances with their optimal solutions. We propose two types of algorithms: a constructive one and a randomized one. In the former, nontrivial 2-CNF instances are produced using expander graphs explicitly constructed. On the other hand, in the latter, more complicated… (More)

Topics

1 Figure or Table

Cite this paper

@inproceedings{Yamamoto2007InstanceGA, title={Instance generating algorithms for MAX2SAT with optimal solutions}, author={Masaki Yamamoto}, year={2007} }