On PB Encodings for Constraint Problems
Authors: Thibault Falque and Romain Wallon
Paper Information
| Title: | On PB Encodings for Constraint Problems |
| Authors: | Thibault Falque and Romain Wallon |
| Proceedings: | dpcp22 Doctoral Program Papers |
| Editor: | Hélène Verhaeghe |
| Keywords: | constraint programming, PB solving, SAT encodings |
| Pages: | 9 |
| Talk: | Aug 01 16:40 (Session 37R: Doctoral Program) |
| Paper: |  |