1. DIGITAL.CSIC

Buscar en:

Empiece una nueva busqueda
Add/Remove Filters (1 filters currently applied)
Resultados 1-5 de 5.
 |  Relevancia

 

  • Anterior
  • 1
  • Siguiente
Resultados por ítem:
DerechosPreviewFecha Public.TítuloAutor(es)Tipo
1openAccess19-jul-2014The Fractal Dimension of SAT FormulasAnsotegui, Carlos; Bonet, María Luisa; Giráldez-Crú, Jesús; Levy, Jordi CSIC ORCID comunicación de congreso
2closedAccessaccesoRestringido.pdf.jpg15-ago-2017An Effective Learnt Clause Minimization Approach for CDCL SAT SolversLuo, Mao; Li, Chumin; Xiao, Fan; Manyà, Felip CSIC ORCID ; Lu, Zhipengcomunicación de congreso
3openAccessCAEPIA2016_LNCS9868.183-93.pdf.jpg2016ABT with Clause Learning for Distributed SATGiráldez-Crú, Jesús; Meseguer, Pedro CSIC ORCID artículo
4openAccessIJCAI17_638-644.pdf.jpg19-ago-2017Locality in Random SAT InstancesGiráldez-Crú, Jesús; Levy, Jordi CSIC ORCID artículo
5openAccess25-jul-2015A Modularity-Based Random SAT Instances GeneratorGiráldez-Crú, Jesús; Levy, Jordi CSIC ORCID comunicación de congreso

Explorar