scientific article; zbMATH DE number 4060775

MaRDI QIDQ3795286zbMATH OpenFDO

Authors Ewald Speckenmeyer

Publication date 1988

zbMATH Keywords

backtracking treesCNF-formulasconjunctive normal formexact-satisfiability

Mathematics Subject Classification ID

Searching and sorting (68P10) Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 4080977
• Exact satisfiability, a natural extension of set partition, and its average case behavior
• Backtracking and random constraint satisfaction
• CNF-Satisfiability Test by Counting and Polynomial Average Time
• Average Time Analysis of Clause Order Backtracking

Cited in

(2)

• Exact satisfiability, a natural extension of set partition, and its average case behavior
• scientific article; zbMATH DE number 4080977 (Why is no real title available?)

This page was built for publication:

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