The following pages link to Martin Loebbing (Q1909972):
Displayed 7 items.
- (Q293347) (redirect page) (← links)
- Parity OBDDs cannot be handled efficiently enough (Q293348) (← links)
- On the effect of local changes in the variable ordering of ordered decision diagrams (Q671612) (← links)
- The number of knight's tours equals 33, 439, 123, 484, 294---counting with binary decision diagrams (Q1909973) (← links)
- On the Complexity of the Hidden Weighted Bit Function for Various BDD Models (Q4265532) (← links)
- (Q4718221) (← links)
- (Q4885895) (← links)