Roman Gershman, Ofer Strichman. HaifaSat: a SAT solver based on an Abstraction/Refinement model. JSAT, 6(1-3):33-51, 2009. [doi]
@article{GershmanS09,
title = {HaifaSat: a SAT solver based on an Abstraction/Refinement model},
author = {Roman Gershman and Ofer Strichman},
year = {2009},
url = {http://jsat.ewi.tudelft.nl/content/volume6/JSAT6_3_Gershman.pdf},
tags = {rule-based, refinement, abstraction},
researchr = {https://researchr.org/publication/GershmanS09},
cites = {0},
citedby = {0},
journal = {JSAT},
volume = {6},
number = {1-3},
pages = {33-51},
}