Pages that link to "Item:Q1210858"

The following pages link to Logic-based decision support. Mixed integer model formulation (Q1210858):

Displaying 25 items.

• A hierarchy of relaxations for linear generalized disjunctive programming (Q421708) (← links)
• Lift-and-project for mixed 0-1 programming: recent progress (Q697568) (← links)
• Projection, lifting and extended formulation integer and combinatorial optimization (Q817203) (← links)
• Fuzzy description logics with general t-norms and datatypes (Q1043321) (← links)
• Logic applied to integer programming and integer programming applied to logic (Q1130078) (← links)
• Zur Modellierung logischer Aussagen ergänzend zu Linearen Programmen. Grundlagen und Entwurfsüberlegungen für einen Modellgenerator. (Modelling logical predicates in addition to linear programs. Foundations and design considerations for a model generat (Q1207266) (← links)
• Two mixed integer programming formulations arising in manufacturing management (Q1262212) (← links)
• The splitting of variables and constraints in the formulation of integer programming models (Q1278148) (← links)
• Logic cuts for processing networks with fixed charges (Q1317071) (← links)
• An alternative explanation of disjunctive formulations (Q1319581) (← links)
• Inference of a minimum size Boolean function from examples by using a new efficient branch-and-bound approach (Q1330807) (← links)
• The problem of asking the minimum number of questions in Horn clause systems (Q1344638) (← links)
• Max Horn SAT and the minimum cut problem in directed hypergraphs (Q1380929) (← links)
• Three models of fuzzy integer linear programming (Q1388851) (← links)
• Formulating logical implications in combinatorial optimisation (Q1598766) (← links)
• Construction of rule-based assignment models (Q1600909) (← links)
• Solving linear optimization over arithmetic constraint formula (Q1675635) (← links)
• An approach to guided learning of Boolean functions (Q1910784) (← links)
• On the minimum number of logical clauses inferred from examples (Q1919787) (← links)
• Many-valued logic and mixed integer programming (Q1924752) (← links)
• Mixed logical-linear programming (Q1961464) (← links)
• New tractable classes for default reasoning from conditional knowledge bases (Q2502153) (← links)
• Mixed Integer Linear Programming Formulation Techniques (Q2808240) (← links)
• Linear temporal logic vehicle routing with applications to multi-UAV mission planning (Q2903986) (← links)
• Solving Disjunctive Fuzzy Answer Set Programs (Q3449229) (← links)