On \(k\)-positive satisfiability problem
type: Item
instance of: scholarly article
title: On \(k\)-positive satisfiability problem
zbMATH Open document ID: 1084.68889
DOI: 10.1007/BF02948732
author: Xiong Huang
author: Wei Li
published in: Journal of Computer Science and Technology
publication date: 1999-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 03D15
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 1399530
MaRDI profile type: Publication
cites work: The complexity of theorem-proving procedures
cites work: Q4198056
cites work: On the Complexity of Timetable and Multicommodity Flow Problems
cites work: A linear-time algorithm for testing the truth of certain quantified Boolean formulas
cites work: Solving satisfiability in less than \(2^ n\) steps
cites work: Q4283247
cites work: Number of models and satisfiability of sets of clauses
cites work: Unit Refutations and Horn Sets
cites work: A hierarchy of tractable satisfiability problems
cites work: A linear algorithm for renaming a set of clauses as a Horn set
cites work: Q4091421
full work available at URL: https://doi.org/10.1007/bf02948732
OpenAlex ID: W2038049006
description: scientific article; zbMATH DE number 1399530