The following pages link to (Q3023951):
Displayed 5 items.
- HySAT: An efficient proof engine for bounded model checking of hybrid systems (Q883144) (← links)
- Generating all minimal integral solutions to AND-OR systems of monotone inequalities: Conjunctions are simpler than disjunctions (Q943838) (← links)
- A two-phase relaxation-based heuristic for the maximum feasible subsystem problem (Q2459384) (← links)
- Conflict analysis in mixed integer programming (Q2471271) (← links)
- Generating all vertices of a polyhedron is hard (Q5920505) (← links)