Pages that link to "Item:Q4946698"
From MaRDI portal
The following pages link to Computational experience with the reverse search vertex enumeration algorithm (Q4946698):
Displaying 6 items.
- Property-directed incremental invariant generation (Q939166) (← links)
- On-line and off-line vertex enumeration by adjacency lists (Q1180822) (← links)
- Estimating the number of vertices of a polyhedron (Q1607035) (← links)
- New computer-based search strategies for extreme functions of the Gomory-Johnson infinite group problem (Q1688454) (← links)
- Integrated stoichiometric, thermodynamic and kinetic modelling of steady state metabolism (Q1719727) (← links)
- Estimating the volume of solution space for satisfiability modulo linear real arithmetic (Q2345986) (← links)