English español

Navegación por Autor Simon, Laurent

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 3 a 4 de 4 < Anterior

Derechos	Preview	Fecha Public.	Título	Autor(es)	Tipo
closedAccess		2012	Optimizing with minimum satisfiability	*Li, Chumin; Zhu, Zhu; Manyà, Felip CSIC ORCID ; Simon, Laurent*	artículo
openAccess		24-sep-2015	Using Community Structure to Detect Relevant Learnt Clauses	*Ansotegui, Carlos; Giráldez-Crú, Jesús; Levy, Jordi CSIC ORCID ; Simon, Laurent*	comunicación de congreso

Mostrando resultados 3 a 4 de 4 < Anterior