1. CryptoMiniSAT,
http://www.msoos.org/cryptominisat2/
2. HotBits,
http://www.fourmilab.ch/hotbits
3. SMTLib,
http://goedel.cs.uiowa.edu/smtlib/
4. Bacchus, F., Dalmao, S., Pitassi, T.: Algorithms and complexity results for #SAT and Bayesian inference. In: Proc. of FOCS, pp. 340–351 (2003)
5. Bellare, M., Goldreich, O., Petrank, E.: Uniform generation of NP-witnesses using an NP-oracle. Information and Computation 163(2), 510–526 (1998)