scientific article; zbMATH DE number 6117305

MaRDI QIDQ3145291zbMATH OpenFDO

Authors Ştefan Andrei, Cristian Masalagiu

Publication date 19 December 2012

zbMATH Keywords

duality theory for resolutionNEW-SAT

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Mechanization of proofs and logical operations (03B35)

Recommendations

• Dualities
• Dualisation of dualities
• scientific article; zbMATH DE number 7731
• Symmetric resolutions
• A self-dual complete resolution
• Duality in reconstruction systems
• scientific article; zbMATH DE number 2217149
• Resolving resolution dimensions
• Inherent dualisability
• scientific article; zbMATH DE number 4090348

Cited in

(4)

• The resolution game: a dual selves perspective
• On a self-dual notation in automated reasoning
• A dual algorithm for the satisfiability problem
• Counting for satisfiability by inverting resolution

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 Q3145291)