Pages that link to "Item:Q1178643"
From MaRDI portal
The following pages link to The equivalence of an LCP to a parametric linear program with a scalar parameter (Q1178643):
Displaying 7 items.
- A weight-balanced branching rule for SAT (Q597527) (← links)
- Formal methods in pattern recognition: A review (Q1579483) (← links)
- Backtracking tactics in the backtrack method for SAT (Q1596804) (← links)
- Optimal adaptive control of treatment planning in radiation therapy (Q1598773) (← links)
- Running time experiments on some algorithms for solving propositional satisfiability problems (Q1897402) (← links)
- Dynamic nonlinear modelization of operational supply chain systems (Q2494311) (← links)
- Solving large protein secondary structure classification problems by a nonlinear complementarity algorithm with {0, 1} variables (Q5758165) (← links)
