Pages that link to "Item:Q1777404"
From MaRDI portal
The following pages link to Probability logic and optimization SAT: The PSAT and CPA models (Q1777404):
Displayed 5 items.
- Optimization and probabilistic satisfiability on nested and co-nested formulas (Q646722) (← links)
- NP-containment for the coherence test of assessments of conditional probability: a fuzzy logical approach (Q877263) (← links)
- Probabilistic satisfiability: algorithms with the presence and absence of a phase transition (Q905995) (← links)
- Logic optimality for multi-objective optimization (Q1049318) (← links)
- A Propositional CONEstrip Algorithm (Q5227400) (← links)