Abstract

The speaker will describe his adventures during the past eight months when he has been intensively studying as many aspects of SAT solvers as possible, in the course of preparing about 100 pages of new material for Volume 4B of The Art of Computer Programming.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Donald Knuth
    • 1
  1. 1.Stanford UniversityUSA

Personalised recommendations