Amortized random backtracking

DOI10.1023/B:ANOR.0000032573.42609.3AMaRDI QIDQ1876532zbMATH OpenFDO

Authors Olivier Lhomme

Publication date 20 August 2004

Published in Annals of Operations Research (Search for Journal in Brave)

zbMATH Keywords

amortizationamortization nonsystematic searchnonsystematic search

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Approximation methods and heuristics in mathematical programming (90C59)

Recommendations

• scientific article; zbMATH DE number 1113993
• Random backtracking in backtrack search algorithms for satisfiability
• scientific article; zbMATH DE number 67459
• An overview of backtrack search satisfiability algorithms
• A theoretical evaluation of selected backtracking algorithms.

Cited in

(3)

• A tight amortized bound for path reversal
• Random backtracking in backtrack search algorithms for satisfiability
• Recent Advances in Constraints

This page was built for publication: Amortized random backtracking

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