Open AccessCooperation control in Parallel SAT Solving: a Multi-armed Bandit Approach
Author(s) -
Nadjib Lazaar,
Youssef Hamadi,
Saïd Jabbour,
Michèle Sebag
Publication year - 2012
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , control (management) , mathematical optimization , artificial intelligence , mathematics