Add various pebbling papers to bibliography
Describe Pebbling SAT encoding