English   español  

Browsing by Author Giráldez-Crú, Jesús

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 10 of 10
RightsPreviewIssue DateTitleAuthor(s)Type
openAccess25-Jul-2015A Modularity-Based Random SAT Instances GeneratorGiráldez-Crú, Jesús; Levy, Jordi CSIC ORCID comunicación de congreso
openAccessCAEPIA2016_LNCS9868.183-93.pdf.jpg2016ABT with Clause Learning for Distributed SATGiráldez-Crú, Jesús; Meseguer, Pedro CSIC ORCID artículo
closedAccessaccesoRestringido.pdf.jpg2013Agent-mediated shared conceptualizations in tagging servicesAranda-Corral, Gonzalo A.; Borrego-DIaz, JoaquIn; Giráldez-Crú, Jesúsartículo
openAccessBeyond_structure.pdf.jpg25-May-2016Beyond the structure of SAT formulasGiráldez-Crú, Jesústesis doctoral
openAccessSTAIRS 2016_FAIA284(179-84).pdf.jpg29-Aug-2016Connecting ABT with a SAT SolverGiráldez-Crú, Jesús; Martin-Sanchez, Guillermo; Meseguer, Pedro CSIC ORCID artículo
closedAccessaccesoRestringido.pdf.jpg2016Generating SAT instances with community structureGiráldez-Crú, Jesús; Levy, Jordi CSIC ORCID artículo
closedAccessaccesoRestringido.pdf.jpg19-Oct-2016Link Prediction in Evolutionary Graphs - The Case Study of the CCIA NetworkAdrian, Kemo CSIC ; Chocron, Paula; Confalonieri, Roberto; Ferrer, Xavier CSIC ; Giráldez-Crú, Jesúsartículo
openAccessIJCAI17_638-644.pdf.jpg19-Aug-2017Locality in Random SAT InstancesGiráldez-Crú, Jesús; Levy, Jordi CSIC ORCID artículo
closedAccessaccesoRestringido.pdf.jpg2017Structure features for SAT instances classificationAnsotegui, Carlos; Bonet, María Luisa; Giráldez-Crú, Jesúsartículo
openAccess19-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