A new approach on solving 3-satisfiability

DOI10.1007/3-540-61732-9_59zbMATH Open1541.68265MaRDI QIDQ6560377

Robert Rodošek

Publication date: 21 June 2024

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Computational aspects of satisfiability (68R07)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The intractability of resolution
• Solving satisfiability in less than \(2^ n\) steps
• A note on the complexity of the chromatic number problem
• REF-ARF: A system for solving problems stated as procedures
• Hard examples for resolution
• A Computing Procedure for Quantification Theory

This page was built for publication: A new approach on solving 3-satisfiability

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