Pages that link to "Item:Q3617770"

The following pages link to Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints (Q3617770):

Displaying 3 items.

• Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces (Q436418) (← links)
• Algorithms for computing minimal equivalent subformulas (Q460638) (← links)
• Minimal representations of a face of a convex polyhedron and some applications (Q2667218) (← links)