Export 1 results:
Autor [ Títol(Desc)] Tipus Any
Filtres: Autor is Nouredine O. Mohamedou  [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 
T
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.