Pages that link to "Item:Q910335"
From MaRDI portal
The following pages link to Compact normal forms in propositional logic and integer programming formulations (Q910335):
Displaying 7 items.
- A linear-time transformation of linear inequalities into conjunctive normal form (Q293409) (← links)
- Deriving conclusions in expert systems when knowledge is incomplete (Q1201854) (← links)
- A linear and discrete programming framework for representing qualitative knowledge (Q1309850) (← links)
- Fuzzy boolean programming problems with fuzzy costs: A general study (Q1367461) (← links)
- Branching rules for satisfiability (Q1904401) (← links)
- Mixed logical-linear programming (Q1961464) (← links)
- Mass Customization and “Forecasting Options’ Penetration Rates Problem” (Q5129183) (← links)
