Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/10459.1/46644

Generating hard SAT/CSP instances using expander graphs
Ansótegui Gil, Carlos José; Béjar Torres, Ramón; Fernàndez Camon, César; Mateu Piñol, Carles
2008
Intel·ligència artificial
Tecnologia Innovacions
(c) Association for the Advancement of Artificial Intelligence, 2008
article
Association for the Advancement of Artificial Intelligence
         

Documentos con el texto completo de este documento

Ficheros Tamaño Formato Vista
012801.pdf 201.6 KB application/pdf Vista/Abrir

Documentos con el texto completo de este documento

Ficheros Tamaño Formato Vista

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a