Nonsystematic search and no-good learning

DOI10.1023/A:1006362926464zbMATH Open0961.68517OpenAlexW1599386511MaRDI QIDQ1581850FDOQ1581850

Barry Richards, E. Thomas Richards

Publication date: 10 October 2000

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1006362926464

Recommendations

• Non-systematic search and no-good learning
• Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning
• scientific article; zbMATH DE number 956858
• Satsisfiability and systematicity
• scientific article; zbMATH DE number 1149403

zbMATH Keywords

search algorithm

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Searching and sorting (68P10)

Cited In (5)

• Heuristic-based backtracking relaxation for propositional satisfiability
• Random backtracking in backtrack search algorithms for satisfiability
• Non-systematic search and no-good learning
• Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning
• The Relation Between Complete and Incomplete Search

This page was built for publication: Nonsystematic search and no-good learning

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