The MaxSAT problem in the real-valued MV-algebra
type: Item
instance of: scholarly article
title: The MaxSAT problem in the real-valued MV-algebra
DOI: 10.1007/978-3-031-43513-3_21
author: Zuzana Haniková
author: Felip Manya
author: A. Vidal
publication date: 2024-05-17T00:00:00Z
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7850755
zbMATH Keywords: maximum satisfiability
zbMATH Keywords: satisfiability
zbMATH Keywords: Łukasiewicz logic
zbMATH Keywords: MV-algebra
MaRDI profile type: Publication
cites work: An asymptotically tight bound on countermodels for Łukasiewicz logic
cites work: Finiteness in infinite-valued Łukasiewicz logic
cites work: Finite-valued reductions of infinite-valued logics
cites work: The complexity and approximability of finding maximum feasible subsystems of linear relations
cites work: On the maximum feasible subsystem problem, IISs and IIS-hypergraphs
cites work: Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
cites work: Q5148371
cites work: New complexity results for Łukasiewicz logic
cites work: A New Proof of the Completeness of the Lukasiewicz Axioms
cites work: A logic for reasoning about probabilities
cites work: Many-valued logic and mixed integer programming
cites work: Metamathematics of fuzzy logic
cites work: Q5406041
cites work: On the complexity of validity degrees in Łukasiewicz logic
cites work: Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras
cites work: The complexity of optimization problems
cites work: Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras
cites work: Satisfiability in many-valued sentential logic is NP-complete
cites work: Q4944947
cites work: Resolution and model building in the infinite-valued calculus of Łukasiewicz
cites work: Tableaux for Łukasiewicz infinite-valued logic
cites work: Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction
cites work: Q4221106
cites work: Q4694140
cites work: Cyclic Elements in MV‐Algebras and Post Algebras
cites work: Q5604434
cites work: MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions
description: scientific article; zbMATH DE number 7850755