Style de citation APA (7e éd.)

Zhang, Y., Zhou, K., & Darwiche, A. (2026). Dsat: A Native SAT Solver for Discrete Logic.

Style de citation Chicago (17e éd.)

Zhang, Yaofang, Ken Zhou, et Adnan Darwiche. Dsat: A Native SAT Solver for Discrete Logic. 2026.

Style de citation MLA (9e éd.)

Zhang, Yaofang, et al. Dsat: A Native SAT Solver for Discrete Logic. 2026.