scientific article; zbMATH DE number 2084720
From MaRDI portal
Publication:4475647
zbMath1067.68620MaRDI QIDQ4475647
Hubie Chen, Bart Selman, Carla P. Gomes
Publication date: 9 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2239/22390408.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (9)
Statistical regimes across constrainedness regions ⋮ The impact of search heuristics on heavy-tailed behaviour ⋮ The state of SAT ⋮ Restart strategies in optimization: parallel and serial cases ⋮ Randomised restarted search in ILP ⋮ Tradeoffs in the Complexity of Backdoor Detection ⋮ Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search ⋮ A Generator of Heavy-Tailed Search Trees ⋮ A generative power-law search tree model
Uses Software
This page was built for publication:
