| 1 |
On Thu, 06 Nov 2014 10:18:18 -0500 |
| 2 |
Ian Stakenvicius <axs@g.o> wrote: |
| 3 |
> ...well, if this is an undergrad project, he could start with the SAT |
| 4 |
> solver and then do what you recommend for his Masters' .. :) |
| 5 |
|
| 6 |
Naah, SAT is doomed. A (bad) vanilla CP model is doable, but in my |
| 7 |
experience of students doing these kinds of projects, SAT and IP look |
| 8 |
sufficiently "mathsy" to count as a maths project, but if you hand in a |
| 9 |
CP model to a mathematician they'll go "I don't understand, you just |
| 10 |
wrote down some stuff describing something. This isn't maths!"... |
| 11 |
|
| 12 |
-- |
| 13 |
Ciaran McCreesh |
Archives