Publication:3491010

zbMath0708.68077MaRDI QIDQ3491010

Mark J. Shensa

Publication date: 1989

zbMATH Keywords

disjunctive normal form; propositional calculus; PASCAL

Mathematics Subject Classification ID

68T30: Knowledge representation

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)

03B05: Classical propositional logic

Related Items

The \(Multi\)-SAT algorithm