Average Performance of Heuristics for Satisfiability
From MaRDI portal
Publication:4729354
DOI10.1137/0402046zbMath0679.68089MaRDI QIDQ4729354
Ramesh Krishnamurti, Rajeev Kohli
Publication date: 1989
Published in: SIAM Journal on Discrete Mathematics (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/011020c5ecac260bfd57a9a977f5fcef50ae73a6
Related Items
Pseudo-Boolean optimization, An average case analysis of a resolution principle algorithm in mechanical theorem proving., Average performance of greedy heuristics for the integer knapsack problem.