资源Multi-Armed Bandits for Adaptive Constraint Propagation? Amine Balafrej Christian Bessiere Anastasia Paparrizou

Multi-Armed Bandits for Adaptive Constraint Propagation? Amine Balafrej Christian Bessiere Anastasia Paparrizou

2019-11-18 | |  29 |   1 |   0
Abstract Adaptive constraint propagation has recently received a great attention. It allows a constraint solver to exploit various levels of propagation during search, and in many cases it shows better performance than static/predefined. The crucial point is to make adaptive constraint propagation automatic, so that no expert knowledge or parameter specification is required. In this work, we propose a simple learning technique, based on multiarmed bandits, that allows to automatically select among several levels of propagation during search. Our technique enables the combination of any number of levels of propagation whereas existing techniques are only defined for pairs. An experimental evaluation demonstrates that the proposed technique results in a more efficient and stable solver.

上一篇:Exploiting the Structure of Unsatisfiable Cores in MaxSAT? Carlos Anso?tegui Frederic Didier Joel Gaba?s

下一篇:Expressive Logical Combinators for Free Pierre Geneve?s Alan Schmitt?

用户评价
全部评价

热门资源

  • Multi-Source Cros...

    Modern NLP applications have enjoyed a great bo...

  • Reference Network...

    Neural Machine Translation (NMT) has achieved n...

  • Soft Contextual D...

    While data augmentation is an important trick t...

  • Style Transformer...

    Disentangling the content and style in the lat...

  • Towards Fine-grai...

    In this paper, we focus on the task of finegra...