Abío Roig, I. (2013). Solving hard industrial combinatorial problems with SAT.
Citación estilo ChicagoAbío Roig, Ignasi. Solving Hard Industrial Combinatorial Problems With SAT. 2013.
Cita MLAAbío Roig, Ignasi. Solving Hard Industrial Combinatorial Problems With SAT. 2013.
Precaución: Estas citas no son 100% exactas.