2747 search results - page 54 / 550 » Non-oblivious Strategy Improvement |
CORR
2010
Springer
15 years 6 months ago
2010
Springer
CORR
2010
Springer
15 years 6 months ago
2010
Springer
148
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
A key factor that can dramatically reduce the search space during constraint solving is the criterion under which the variable to be instantiated next is selected. For this purpos...
