The following pages link to (Q4475647):
Displaying 9 items.
- Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search (Q457253) (← links)
- Restart strategies in optimization: parallel and serial cases (Q632718) (← links)
- Statistical regimes across constrainedness regions (Q850446) (← links)
- The impact of search heuristics on heavy-tailed behaviour (Q850467) (← links)
- A generative power-law search tree model (Q1010292) (← links)
- Randomised restarted search in ILP (Q2433174) (← links)
- The state of SAT (Q2643296) (← links)
- Tradeoffs in the Complexity of Backdoor Detection (Q3523063) (← links)
- A Generator of Heavy-Tailed Search Trees (Q4644977) (← links)
