Cita APA (7a ed.)

Filmus, Y., Hirsch, E. A., Riazanov, A., Smal, A., & Vinyals, M. (2023). Proving Unsatisfiability with Hitting Formulas.

Cita Chicago Style (17a ed.)

Filmus, Yuval, Edward A. Hirsch, Artur Riazanov, Alexander Smal, y Marc Vinyals. Proving Unsatisfiability with Hitting Formulas. 2023.

Cita MLA (9a ed.)

Filmus, Yuval, et al. Proving Unsatisfiability with Hitting Formulas. 2023.