APA Citation

Shen, S. (2005). A Fast Counterexample Minimization Approach with Refutation Analysis and Incremental SAT. IEEE.

Chicago Style Citation

Shen, ShengYu. A Fast Counterexample Minimization Approach With Refutation Analysis and Incremental SAT. IEEE, 2005.

MLA Citation

Shen, ShengYu. A Fast Counterexample Minimization Approach With Refutation Analysis and Incremental SAT. IEEE, 2005.

Warning: These citations may not always be 100% accurate.