scientific article

zbMath0980.68032MaRDI QIDQ2749856

Barry Richards, E. Thomas Richards

Publication date: 4 March 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

SAT algorithmslearn-SATnon-systematic search algorithms

Mathematics Subject Classification ID

Searching and sorting (68P10) Learning and adaptive systems in artificial intelligence (68T05)

Related Items

Unnamed Item ⋮ Unnamed Item ⋮ Efficient solution techniques for disjunctive temporal reasoning problems