Nonsystematic search and no-good learning

DOI10.1023/A:1006362926464MaRDI QIDQ1581850zbMATH OpenOpenAlexFDO

Authors E. Thomas Richards, Barry 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

zbMATH Keywords

search algorithm

Mathematics Subject Classification ID

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

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

Cited in

(9)

• Random backtracking in backtrack search algorithms for satisfiability
• Non-systematic search and no-good learning
• Satsisfiability and systematicity
• The Relation Between Complete and Incomplete Search
• Learning discriminant rules as a minimal saturation search
• Learning in search
• Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning
• scientific article; zbMATH DE number 1114004 (Why is no real title available?)
• Heuristic-based backtracking relaxation for propositional satisfiability

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)