Pérez, M. H. (2016). Paralloy: Learning y restart en un Sat Solver distribuido. Web
Citación estilo ChicagoPérez, Matías Hernando. Paralloy: Learning Y Restart En Un Sat Solver Distribuido. 2016.
Cita MLAPérez, Matías Hernando. Paralloy: Learning Y Restart En Un Sat Solver Distribuido. 2016.
Precaución: Estas citas no son 100% exactas.