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

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)

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

(8)

• Satsisfiability and systematicity
• Heuristic-based backtracking relaxation for propositional satisfiability
• Random backtracking in backtrack search algorithms for satisfiability
• Non-systematic search and no-good learning
• Learning discriminant rules as a minimal saturation search
• Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning
• The Relation Between Complete and Incomplete Search
• Learning in 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)