An approximation algorithm for \#k-SAT

DOI10.4230/LIPICS.STACS.2012.78MaRDI QIDQ2904751zbMATHFDO

Authors Marc Thurley

Publication date 23 August 2012

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

zbMATH Keywords

approximate countingexponential algorithms\(\#k\)-SAT

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Randomized algorithms (68W20) Approximation algorithms (68W25)

Recommendations

• Exploiting independent subformulas: a faster approximation scheme for \(\# k\)-SAT
• Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
• Counting good truth assignments of random \(k\)-SAT formulae
• scientific article; zbMATH DE number 2090009
• An improved exponential-time algorithm for k -SAT

Cited in

(13)

• Solving and sampling with many solutions: satisfiability and other hard problems
• Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
• Exploiting independent subformulas: a faster approximation scheme for \(\# k\)-SAT
• The relative exponential time complexity of approximate counting satisfying assignments
• A deterministic \((2-2/(k+1))^{n}\) algorithm for \(k\)-SAT based on local search.
• scientific article; zbMATH DE number 2084758 (Why is no real title available?)
• On the K‐sat model with large number of clauses
• On approximability of satisfiable k -CSPs: I
• Counting good truth assignments of random \(k\)-SAT formulae
• scientific article; zbMATH DE number 2090009 (Why is no real title available?)
• The relative exponential time complexity of approximate counting satisfying assignments
• Theory and Applications of Satisfiability Testing
• Counting solutions to random CNF formulas

This page was built for publication: An approximation algorithm for \(\#k\)-SAT

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2904751)