A new approach on solving 3-satisfiability
type: Item
instance of: scholarly article
title: A new approach on solving 3-satisfiability
zbMATH Open document ID: 1541.68265
DOI: 10.1007/3-540-61732-9_59
author: Robert Rodošek
publication date: 2024-06-21T00:00:00Z
Mathematics Subject Classification ID: 68R07
Mathematics Subject Classification ID: 68W40
zbMATH DE Number: 7869790
MaRDI profile type: Publication
cites work: A Computing Procedure for Quantification Theory
cites work: REF-ARF: A system for solving problems stated as procedures
cites work: Q4198056
cites work: The intractability of resolution
cites work: A note on the complexity of the chromatic number problem
cites work: Solving satisfiability in less than \(2^ n\) steps
cites work: Q4283247
cites work: Hard examples for resolution
description: scientific article; zbMATH DE number 7869790