Pages that link to "Item:Q1924752"

The following pages link to Many-valued logic and mixed integer programming (Q1924752):

Displaying 21 items.

• Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction (Q352963) (← links)
• Complexity issues in Basic Logic (Q816857) (← links)
• On the refutational completeness of signed binary resolution and hyperresolution (Q1037933) (← links)
• Logic-based decision support. Mixed integer model formulation (Q1210858) (← links)
• Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers (Q1697332) (← links)
• On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras (Q1699728) (← links)
• Non-distributive relatives of ETL and NFL (Q2021563) (← links)
• Paraconsistent Gödel modal logic (Q2104534) (← links)
• Constraint tableaux for two-dimensional fuzzy logics (Q2142061) (← links)
• Lazy evaluations in Łukasiewicz type fuzzy logic (Q2329100) (← links)
• Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
• (Q3533554) (← links)
• 1998 European Summer Meeting of the Association for Symbolic Logic (Q4254644) (← links)
• MUltlog 1.0: Towards an expert system for many-valued logics (Q4647516) (← links)
• Reducing fuzzy answer set programming to model finding in fuzzy logics (Q4897702) (← links)
• THREE CHARACTERIZATIONS OF STRICT COHERENCE ON INFINITE-VALUED EVENTS (Q5117594) (← links)
• Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories (Q5504667) (← links)
• Introduction (Q5892200) (← links)
• The MaxSAT problem in the real-valued MV-algebra (Q6541163) (← links)
• Deduction by combining semantic tableaux and integer programming (Q6560161) (← links)
• A \textit{DPLL} procedure with dichotomous branching for propositional product logic (Q6664542) (← links)