APA (7th ed.) Citation

Du, D., Gu, J., Pardalos, P. M., & NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science. (1997). Satisfiability problem: Theory and applications : DIMACS workshop, March 11-13, 1996. American Mathematical Society.

Chicago Style (17th ed.) Citation

Du, Dingzhu., Jun Gu, P. M. 1954- Pardalos, and NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science. Satisfiability Problem: Theory and Applications : DIMACS Workshop, March 11-13, 1996. Providence, R.I.: American Mathematical Society, 1997.

MLA (8th ed.) Citation

Du, Dingzhu., et al. Satisfiability Problem: Theory and Applications : DIMACS Workshop, March 11-13, 1996. American Mathematical Society, 1997.