English   español  

Navegación por Autor Gabas, Joel

Ir a: 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
O introducir las primeras letras:  
Mostrando resultados 1 a 2 de 2
DerechosPreviewFecha Public.TítuloAutor(es)Tipo
closedAccessaccesoRestringido.pdf.jpg2016Exploiting subproblem optimization in SAT-based MaxSAT algorithmsAnsotegui, Carlos; Gabas, Joel; Levy, Jordi CSIC ORCID artículo
openAccess16-sep-2013Improving WPM2 for (Weighted) Partial MaxSATAnsotegui, Carlos; Bonet, María Luisa; Gabas, Joel; Levy, Jordi CSIC ORCID capítulo de libro