-
1رسالة جامعية
المؤلفون: Giráldez Crú, Jesús
المساهمون: University/Department: Universitat Autònoma de Barcelona. Departament de Ciències de la Computació
مرشدي الرسالة: Levy Díaz, Jordi, González Sabaté, Jordi
المصدر: TDX (Tesis Doctorals en Xarxa)
مصطلحات موضوعية: Resolució de SAT, Resolución de SAT, SAT solving, Xarxes complexes, Redes complejas, Complex networks, Estructura de problemes reals, Estructura de problemas reales, Structure of real-word problems, Tecnologies
وصف الملف: application/pdf
URL الوصول: http://hdl.handle.net/10803/386422