Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits based on #SAT Problem
S. Andrei, W.-N. Chin, A. M.K. Cheng, and Y. Zhu
To appear, 2004

Incremental satisfiability counting for realtime systems
S. Andrei and W.-N. Chin
Proceedings of 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS ’04), 2004, pp. 482– 489

LGSynth91 benchmark
Int’l Workshop on Logic Synthesis
Available at http://www.cbl.ncsu.edu/

The determinant of the boolean formulae
S. Andrei
Analele Universitatii Bucuresti, Informatica, vol. XLIV, pp. 83–92, 1995

Counting for satisfiability by inverting resolution
S. Andrei
Artificial Intelligence Review, 2004