Knuth's Art of Computer Programming, V 4B, has gone into print

Re:Knuth's Art of Computer Programming, V 4B, has gone into ... by dragontamer on Tuesday October 04, 2022 @12:44PM (#33082995)

I was hoping that Fascicle 7 would come out, as that would be on Constraint Programming, and I think that's very similar to SAT-solvers (Fascicle 6) and the BDDs that he's already covered.

Then again: SAT-solvers are a big enough subject matter on their own that backtracking search + SAT-solvers is more than enough to fill a volume of its own. So choosing these two subjects as volume 4B makes sense.

-----------

As a fan of constraint programming, I'd love to see Knuth's take on the subject. I hope he doesn't skip over Fasicle 7.

[ Parent | on HN ]

Re:Knuth's Art of Computer Programming, V 4B, has gone into ... by boonsuan on Tuesday October 04, 2022 @12:49PM (#33083077)

have you read his current draft of fascicle 7a (7.2.2.3 Constraint Satisfaction)? it is currently 145 pages and is available at https://cs.stanford.edu/~knuth/fasc7a.ps.gz

[ Parent | on HN ]

Re:Knuth's Art of Computer Programming, V 4B, has gone into ... by dragontamer on Tuesday October 04, 2022 @12:52PM (#33083109)

I wasn't aware of this! Thanks for the info. I'll give it a lookthrough.

Its not exactly an easy subject, so I'll need some time to digest the material. Especially if its written in Knuth's famous "difficult, but terse" style.

[ Parent | on HN ]