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 12 items.
- A linear-time transformation of linear inequalities into conjunctive normal form (Q293409) (← links)
- Modeling and integer programming techniques applied to propositional calculus (Q918954) (← links)
- Deriving conclusions in expert systems when knowledge is incomplete (Q1201854) (← links)
- Logic-based decision support. Mixed integer model formulation (Q1210858) (← 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)
- Propositional Compilation for All Normal Parameter Reductions of a Soft Set (Q2949608) (← links)
- (Q3348391) (← links)
- Mass Customization and “Forecasting Options’ Penetration Rates Problem” (Q5129183) (← links)
- An algorithm for generalized fuzzy binary linear programming problems (Q5943930) (← links)