The following pages link to Daniel Geist (Q209464):
Displaying 6 items.
- Adjacency of the 0-1 knapsack problem (Q1195107) (← links)
- Model checking at IBM (Q1870213) (← links)
- Computing the minimum DNF representation of Boolean functions defined by intervals (Q2387437) (← links)
- Supporting SAT based BMC on finite path models (Q2848682) (← links)
- (Q4806204) (← links)
- On the effective deployment of functional formal verification (Q5946345) (← links)