Relaxed Survey Propagation for The Weighted Maximum Satisfiability Problem

DOI10.1613/jair.2808zbMath1192.68640arXiv1401.3483OpenAlexW2131529421WikidataQ129520994 ScholiaQ129520994MaRDI QIDQ3651486

Wee Sun Lee, Hai Leong Chieu

Publication date: 10 December 2009

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1401.3483

zbMATH Keywords

survey propagation algorithm

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

Leveraging cluster backbones for improving MAP inference in statistical relational models ⋮ CCEHC: an efficient local search algorithm for weighted partial maximum satisfiability

Uses Software

• MiniSat
• UBCSAT
• RSat

This page was built for publication: Relaxed Survey Propagation for The Weighted Maximum Satisfiability Problem