scientific article; zbMATH DE number 6117305

zbMATH Open1265.03005MaRDI QIDQ3145291FDOQ3145291

Authors: Ştefan Andrei, Cristian Masalagiu 

Publication date: 19 December 2012

Title of this publication is not available (Why is that?)

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

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)

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)