The following pages link to (Q4221106):
Displaying 6 items.
- An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty (Q892228) (← links)
- Pivot rules for linear programming: A survey on recent theoretical developments (Q1312760) (← links)
- Regularity of powers of cover ideals of unimodular hypergraphs (Q1786458) (← links)
- Generation of structured meshes in multiply connected surfaces using submapping (Q2654510) (← links)
- Elasticity and Petri Nets (Q3599221) (← links)
- Spectral spaces of countable Abelian lattice-ordered groups (Q4644964) (← links)
