Model counting with error-correcting codes
From MaRDI portal
Publication:2009186
DOI10.1007/s10601-018-9296-3zbMath1483.68242MaRDI QIDQ2009186
Demetrios Achlioptas, Panos Theodoropoulos
Publication date: 27 November 2019
Published in: Constraints (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10601-018-9296-3
satisfiability; randomized algorithms; coding theory; model counting; low-density parity check codes; systems of parity equations
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68W20: Randomized algorithms
94B35: Decoding
68R07: Computational aspects of satisfiability
Uses Software