APA (7th ed.) Citation

ARGELICH, J., CABISCOL, A., LYNCE, I., & MANYÀ, F. (2012). Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT. Journal of Multiple-Valued Logic & Soft Computing, 19(1-3), 3.

Chicago Style (17th ed.) Citation

ARGELICH, JOSEP, ALBA CABISCOL, INÊS LYNCE, and FELIP MANYÀ. "Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT." Journal of Multiple-Valued Logic & Soft Computing 19, no. 1-3 (2012): 3.

MLA (9th ed.) Citation

ARGELICH, JOSEP, et al. "Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT." Journal of Multiple-Valued Logic & Soft Computing, vol. 19, no. 1-3, 2012, p. 3.