Learning Variable Ordering Heuristics with Multi-Armed Bandits and Restarts.

Hugues Wattez, Frdric Koriche, Christophe Lecoutre, Anastasia Paparrizou, Sbastien Tabary

Browse the full ECAI paper archive.