Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints
Authors: Felix Ulrich-Oltean, Peter Nightingale and James Walker
Paper Information
| Title: | Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints |
| Authors: | Felix Ulrich-Oltean, Peter Nightingale and James Walker |
| Proceedings: | dpcp22 Doctoral Program Papers |
| Editor: | Hélène Verhaeghe |
| Keywords: | SAT encodings, machine learning, pseudo-Boolean constraints, linear constraints |
| Pages: | 20 |
| Talk: | Aug 01 12:15 (Session 31R: Doctoral Program) |
| Paper: |  |