Export 2 results:
Autor [ Títol(Desc)] Tipus Any
Filtres: Autor is Hector Geffner  [Clear All Filters]
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
Ansótegui C, Levy J.  2011.  On the Modularity of Industrial SAT Instances. Proc. of the 14th Int. Conf. of the ACIA, CCIA'11. 232:11-20.