Abstract t-wise coverage is one of the most important techniques used to test configurations
of software for finding bugs. It ensures that interactions between features of a Software …

We present an automated method to enhance constraint models through fine-grained
streamlining, leveraging nogood information from learning solvers. This approach …

Résumé Plusieurs paradigmes de programmation existent pour aider à résoudre des
problèmes d'optimisation combinatoire, l'un d'entre eux étant la programmation par …

Résumé La capacité d'échantillonner des solutions dans un espace de recherche
combinatoire contraint a des applications dans des domaines tels que le raisonnement …