TY - BOOK AU - Sahoo, Sharmistha TI - Boolean satisfiability problem on regular random graphs U1 - 519.17 PY - 2012/// CY - Bhubaneswar PB - NISER KW - PHYSICS KW - BOOLEAN SATISFIABILITY KW - RANDOM GRAPHS N1 - A thesis submitted in partial fulfillment of the requirements for the degree of M.Sc. ER -