Vissani, I. (2013). Un sat-solver paralelo y distribuido con herencia de cl´ausulas aprendidas. Web
Citación estilo ChicagoVissani, Ignacio. Un Sat-solver Paralelo Y Distribuido Con Herencia De Cl´ausulas Aprendidas. 2013.
Cita MLAVissani, Ignacio. Un Sat-solver Paralelo Y Distribuido Con Herencia De Cl´ausulas Aprendidas. 2013.
Precaución: Estas citas no son 100% exactas.