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