Pages that link to "Item:Q2559426"

The following pages link to Fourier-Motzkin elimination and its dual (Q2559426):

Displaying 31 items.

• An exact algorithm for the static rebalancing problem arising in bicycle sharing systems (Q319656) (← links)
• Modular discrete time approximations of distributed hybrid automata (Q418807) (← links)
• An instantiation scheme for satisfiability modulo theories (Q438578) (← links)
• Quantifier elimination for a class of exponential polynomial formulas (Q480651) (← links)
• Equality detection for linear arithmetic constraints (Q621462) (← links)
• Consistency conditions for the influence graphs generalized finite difference method (Q653589) (← links)
• On Fourier's algorithm for linear arithmetic constraints (Q688575) (← links)
• Optimal length resolution refutations of difference constraint systems (Q846163) (← links)
• Optimal move blocking strategies for model predictive control (Q900643) (← links)
• Box invariance in biologically-inspired dynamical systems (Q963961) (← links)
• A characterisation of all feasible solutions to an integer program (Q1171507) (← links)
• Fourier-Motzkin elimination extension to integer programming problems (Q1226035) (← links)
• A unified approach for finding real and integer solutions to systems of linear inequalities (Q1244168) (← links)
• The splitting of variables and constraints in the formulation of integer programming models (Q1278148) (← links)
• A singular loop transformation framework based on non-singular matrices (Q1329107) (← links)
• Equilibrium behavior in markets and games: Testable restrictions and identification. (Q1428156) (← links)
• Zero polyhedral cones (Q1431847) (← links)
• Entropic perturbation method for solving a system of linear inequalities (Q1612393) (← links)
• A global optimisation approach to range-restricted survey calibration (Q1702021) (← links)
• A certifying algorithm for lattice point feasibility in a system of UTVPI constraints (Q1702822) (← links)
• A calculation approach to scalarization for polyhedral sets by means of set relations (Q1722087) (← links)
• Mathematical and simulation-based analysis of the behavior of admixed taxa in the neighbor-joining algorithm (Q1736943) (← links)
• Combinatorial optimization and small polytopes (Q1814809) (← links)
• A note on splitting of variables in integer programming models (Q1972004) (← links)
• A study of general and security Stackelberg game formulations (Q1999631) (← links)
• On integer closure in a system of unit two variable per inequality constraints (Q2023870) (← links)
• Stochastic mathematical programs with probabilistic complementarity constraints: SAA and distributionally robust approaches (Q2044575) (← links)
• A Repeated Route-then-Schedule Approach to Coordinated Vehicle Platooning: Algorithms, Valid Inequalities and Computation (Q5106379) (← links)
• Wald, QLR, and score tests when parameters are subject to linear inequality constraints (Q6108338) (← links)
• Geometric conditions for the existence or non-existence of a solution to the perspective 3-point problem (Q6154438) (← links)
• Waiting Nets: State Classes and Taxonomy (Q6189319) (← links)