Nonsystematic search and no-good learning
From MaRDI portal
Publication:1581850
DOI10.1023/A:1006362926464zbMath0961.68517OpenAlexW1599386511MaRDI QIDQ1581850
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
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)
Related Items (3)
Random backtracking in backtrack search algorithms for satisfiability ⋮ Heuristic-based backtracking relaxation for propositional satisfiability ⋮ The Relation Between Complete and Incomplete Search
This page was built for publication: Nonsystematic search and no-good learning
