المؤلفون: 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

مصطلحات الفهرس: SAT solving, Complex networks, Structure of real-word problems, tesis doctoral

URL: http://hdl.handle.net/10261/197549
http://hdl.handle.net/10803/386422
http://hdl.handle.net/10803/386422
Sí