Satisfiability and The Art of Computer Programming.

Donald E. Knuth

Published in: SAT (2012)

Keyphrases

computer programming
computer programs
machine learning
np complete
phase transition
satisfiability problem
programming concepts
learning algorithm
learning environment
computer science
general purpose
propositional logic