18 citations · 24 across the 4 of their papers we have counts for
Showing 2011 · cs.AIShow all
2 papers · 2 filters
cs.AI2011★ 6 cited
HyFlex: A Benchmark Framework for Cross-domain Heuristic Search
Edmund Burke, Tim Curtois, Matthew Hyde +2
Automating the design of heuristic search methods is an active research field within computer science, artificial intelligence and operational research. In order to make these meth…
cs.AI2011★ 18 cited
Generalizing Boolean Satisfiability I: Background and Survey of Existing Work
H. E. Dixon, M. L. Ginsberg, A. J. Parkes
This is the first of three planned papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of m…