Export 1 results:
Autor Títol Tipus [ Any(Asc)]
Filtres: Autor is I. P. Gent  [Clear All Filters]
2009
Ansótegui C, Bonet MLuisa, Levy J.  2009.  On the Structure of Industrial SAT Instances. Proc. of the 15th Int. Conf. on Principles and Practice of Constraint Programming, CP'09. 5732:127-141.