Export 1 results:
Autor Títol Tipus [ Any(Asc)]
Filtres: First Letter Of Title is T and Autor is Nouredine O. Mohamedou  [Clear All Filters]
2008
Li CMin, Manyà F, Mohamedou NO, Planes J.  2008.  Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation. 14th International Conference on Principles and Practice of Constraint Programming (CP-2008). 5202:582-587.