Relaxed survey propagation: A sum-product algorithm for max-SAT

Abstract

Proceedings of the National Conference on Artificial Intelligence1247-252PNAI

    Similar works

    Full text

    thumbnail-image

    Available Versions