Publication:5740444
From MaRDI portal
zbMath1341.68202MaRDI QIDQ5740444
Carla P. Gomes, Ashish Sabharwal, Bart Selman
Publication date: 26 July 2016
68Q25: Analysis of algorithms and problem complexity
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting, The relative exponential time complexity of approximate counting satisfying assignments, On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\), Leveraging belief propagation, backtrack search, and statistics for model counting, Solution counting algorithms for constraint-centered search heuristics, The Relative Exponential Time Complexity of Approximate Counting Satisfying Assignments, Solution Counting Algorithms for Constraint-Centered Search Heuristics, Variable Influences in Conjunctive Normal Forms