Publication:5740444
From MaRDI portal
zbMath1341.68202MaRDI QIDQ5740444
Ashish Sabharwal, Bart Selman, Carla P. Gomes
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
Unnamed Item, A Study of Symmetry Breaking Predicates and Model Counting, Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting, Projected model counting: beyond independent support, Automated streamliner portfolios for constraint satisfaction problems, 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, Not all bugs are created equal, but robust reachability can tell the difference, Model counting with error-correcting codes, In search of balance: the challenge of generating balanced Latin rectangles, On the usefulness of linear modular arithmetic in constraint programming, 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