scientific article; zbMATH DE number 2084720

MaRDI QIDQ4475647zbMATH OpenFDO

Authors Hubie Chen, Carla P. Gomes, Bart Selman

Publication date 9 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2239/22390408.htm

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• The impact of search heuristics on heavy-tailed behaviour
• Search Heuristics and Heavy-Tailed Behaviour
• Heavy-tailed phenomena and satisfiability and constraint satisfaction problems
• Heavy-tailed phenomena in satisfiability and constraint satisfaction problems
• Statistical regimes across constrainedness regions

Cited in

(12)

• A generative power-law search tree model
• Combinatorial search from an energy perspective
• Randomised restarted search in ILP
• The state of SAT
• scientific article; zbMATH DE number 3862491 (Why is no real title available?)
• 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 Combinatorial Model of Two-Sided Search
• Restart strategies in optimization: parallel and serial cases
• Statistical regimes across constrainedness regions
• The impact of search heuristics on heavy-tailed behaviour

Describes a project that uses

Uses Software

• Chaff

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4475647)