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