William Lam's repositories
daoopt-exp
Version of DAOOPT with implementations of dynamic heuristics and best-first search.
CVO2
Stochastic greedy variable ordering algorithm
Language:C++MIT000
Version of DAOOPT with implementations of dynamic heuristics and best-first search.
Stochastic greedy variable ordering algorithm