Sciweavers

5269 search results - page 8 / 1054
» order 2007
Sort
View
CSC
2006
15 years 4 months ago
Ordered Enumeration Method
Felix Friedman
51
Voted
IJCAI
2003
15 years 4 months ago
A Structure-Based Variable Ordering Heuristic for SAT
Jinbo Huang, Adnan Darwiche