@TechReport{PipatsrisawatD152,
author =       "Knot Pipatsrisawat and Adnan Darwiche",
title =        "RSat 1.03: SAT Solver Description",
institution =  "Automated Reasoning Group, Computer Science
Department, UCLA",
number =       "D--152",
year =         "2006"}