The following pages link to Florian Wörz (Q2033468):
Displaying 5 items.
- Reversible pebble games and the relation between tree-like and general resolution space (Q2033469) (← links)
- On the effect of learned clauses on stochastic local search (Q2661337) (← links)
- Reversible Pebble Games and the Relation Between Tree-Like and General Resolution Space (Q5874337) (← links)
- Evidence for Long-Tails in SLS Algorithms (Q6075980) (← links)
- (Q6124972) (← links)
