NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science, Du, D., Gu, J., & Παρδαλός, Π. Μ. (1997). Satisfiability problem: Theory and applications : DIMACS workshop, March 11-13, 1996. American Mathematical Society.
Παραπομπή σε μορφή Chicago (17η εκδ.)NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science, Dingzhu Du, Jun Gu, και Πάνος Μ Παρδαλός. Satisfiability Problem: Theory and Applications : DIMACS Workshop, March 11-13, 1996. Providence, R.I.: American Mathematical Society, 1997.
Παραπομπή σε μορφή MLA (9th εκδ.)NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science, et al. Satisfiability Problem: Theory and Applications : DIMACS Workshop, March 11-13, 1996. American Mathematical Society, 1997.