Export 1 results:
Autor Títol [ Tipus(Desc)] Any
Filtres: First Letter Of Title is T and Autor is Nouredine O. Mohamedou  [Clear All Filters]
Conference Paper
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.