The MaxSAT problem in the real-valued MV-algebra
From MaRDI portal
Publication:6541163
DOI10.1007/978-3-031-43513-3_21MaRDI QIDQ6541163FDOQ6541163
Authors: Zuzana Haniková, Felip Manya, A. Vidal 
Publication date: 17 May 2024
Cites Work
- MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions
- The complexity of optimization problems
- Title not available (Why is that?)
- Metamathematics of fuzzy logic
- A New Proof of the Completeness of the Lukasiewicz Axioms
- Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction
- Title not available (Why is that?)
- Satisfiability in many-valued sentential logic is NP-complete
- Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras
- Title not available (Why is that?)
- Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras
- A logic for reasoning about probabilities
- On the maximum feasible subsystem problem, IISs and IIS-hypergraphs
- The complexity and approximability of finding maximum feasible subsystems of linear relations
- Resolution and model building in the infinite-valued calculus of Łukasiewicz
- Finite-valued reductions of infinite-valued logics
- Tableaux for Łukasiewicz infinite-valued logic
- Many-valued logic and mixed integer programming
- Finiteness in infinite-valued Łukasiewicz logic
- An asymptotically tight bound on countermodels for Łukasiewicz logic
- New complexity results for Łukasiewicz logic
- Handbook of satisfiability. In 2 parts
- Cyclic Elements in MV‐Algebras and Post Algebras
- On the complexity of validity degrees in Łukasiewicz logic
- Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for publication: The MaxSAT problem in the real-valued MV-algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6541163)
