Export 2 results:
Author Title Type [ Year(Asc)]
Filters: Author is Nouredine Ould Mohamedou  [Clear All Filters]
2009
Li CMin, Manyà F, Mohamedou NOuld, Planes J.  2009.  Exploiting Cycle Structures in Max-SAT. 12th International Conference on Theory and Applications of Satisfiability Testing (SAT 2009). 5584:467-480.