@TechReport{PipatsrisawatD153,
author =       "Knot Pipatsrisawat and Adnan Darwiche",
title =        "RSat 2.0: SAT Solver Description",
institution =  "Automated Reasoning Group, Computer Science
Department, UCLA",
number =       "D--153",
year =         "2007"}