The MaxSAT problem in the real-valued MV-algebra

Cites work

scientific article; zbMATH DE number 1234104 (Why is no real title available?)
scientific article; zbMATH DE number 218387 (Why is no real title available?)
scientific article; zbMATH DE number 1420878 (Why is no real title available?)
scientific article; zbMATH DE number 6276275 (Why is no real title available?)
scientific article; zbMATH DE number 3325539 (Why is no real title available?)
A New Proof of the Completeness of the Lukasiewicz Axioms
A logic for reasoning about probabilities
An asymptotically tight bound on countermodels for Łukasiewicz logic
Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
Cyclic Elements in MV‐Algebras and Post Algebras
Finite-valued reductions of infinite-valued logics
Finiteness in infinite-valued Łukasiewicz logic
Handbook of satisfiability. In 2 parts
MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions
Many-valued logic and mixed integer programming
Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras
Metamathematics of fuzzy logic
New complexity results for Łukasiewicz logic
On the complexity of validity degrees in Łukasiewicz logic
On the maximum feasible subsystem problem, IISs and IIS-hypergraphs
Resolution and model building in the infinite-valued calculus of Łukasiewicz
Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction
Satisfiability in many-valued sentential logic is NP-complete
Tableaux for Łukasiewicz infinite-valued logic
Term satisfiability in \(\mathrm{FL}_{\mathrm{ew}}\)-algebras
The complexity and approximability of finding maximum feasible subsystems of linear relations
The complexity of optimization problems

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)