Optimal satisfiability for propositional calculi and constraint satisfaction problems.
type: Item
instance of: scholarly article
title: Optimal satisfiability for propositional calculi and constraint satisfaction problems.
zbMATH Open document ID: 1058.68062
DOI: 10.1016/S0890-5401(03)00092-0
author: S. Reith
author: Heribert Vollmer
published in: Information and Computation
publication date: 2004-03-14T00:00:00Z
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 2056449
zbMATH Keywords: \(s\)-formula
MaRDI profile type: Publication
cites work: Complexity of generalized satisfiability counting problems
cites work: On generating all solutions of generalized satisfiability problems
cites work: Complexity classifications of Boolean constraint satisfaction problems
cites work: A dichotomy theorem for maximum generalized satisfiability problems.
cites work: Q5588600
cites work: Q2762521
cites work: The complexity of optimization problems
cites work: Generalizations of Opt P to the polynomial hierarchy
cites work: Q4526965
cites work: On the Structure of Polynomial Time Reducibility
cites work: Satisfiability problems for propositional calculi
cites work: Q3221403
cites work: The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
cites work: The complexity of satisfiability problems
cites work: Q4942628
cites work: Complexity classes of optimization functions
cites work: More complicated questions about maxima and minima, and some closures of NP
Recommended article: Q4536400
Recommended article: Automata, Languages and Programming
Recommended article: Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability
Recommended article: A Computational Study of Satisfiability Algorithms for Propositional Logic
Recommended article: The approximability of constraint satisfaction problems
Recommended article: Optimal satisfiability checking for arithmetic \(\mu\)-calculi
Recommended article: Satisfiability-based algorithms for Boolean optimization
description: scientific article; zbMATH DE number 2056449