sat_horn_backdoors

References

@article{SamerSzeider10b,
	Author = {Samer, M. and Szeider, S.},
	Doi = {10.1016/j.jda.2009.06.002},
	Journal = jda,
	Number = {1},
	Pages = {50---64},
	Title = {Algorithms for propositional model counting},
	Volume = {8},
	Year = {2010},
	Bdsk-Url-1 = {http://dx.doi.org/10.1016/j.jda.2009.06.002}}