18 citations · 24 across the 2 of their papers we have counts for
3 papers
math.OC2019
Semidefinite Programming in Timetabling and Mutual-Exclusion Scheduling
Jakub Marecek, Andrew J. Parkes
In scheduling and timetabling applications, the mutual-exclusion constraint stipulates that certain pairs of tasks that cannot be executed at the same time. This corresponds to the…
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…