Pages that link to "Item:Q805302"
From MaRDI portal
The following pages link to Simulation of hybrid circuits in constraint logic programming (Q805302):
Displaying 6 items.
- The piecewise linear optimization polytope: new inequalities and intersection with semi-continuous constraints (Q378090) (← links)
- Simulation of hybrid circuits in constraint logic programming (Q805302) (← links)
- A special ordered set approach for optimizing a discontinuous separable piecewise linear function (Q935235) (← links)
- Constraint satisfaction using constraint logic programming (Q1204868) (← links)
- Running programs backwards: The logical inversion of imperative computation (Q1377325) (← links)
- An effective logarithmic formulation for piecewise linearization requiring no inequality constraint (Q2044490) (← links)
