0.1 Introduction
0.2 Preliminaries
0.3 Sub-Optimal Backjumps in PB Solvers
0.4 Towards an Improvement of the Backjump Level
0.5 Experimental Results
0.6 Conclusion
Acknowledgements
The author is grateful to the anonymous reviewers for their numerous comments, that greatly helped to improve the paper. The author is also grateful to the CRIL laboratory (CNRS UMR 8188, Université d’Artois) for having supplied the computational resources on which the experiments presented in this paper have been run. This publication was supported by the Chair “Integrated Urban Mobility”, backed by L’X – École Polytechnique and La Fondation de l’École Polytechnique and sponsored by Uber. The Partners of the Chair shall not under any circumstances accept any liability for the content of this publication, for which the author shall be solely liable.