Nouredine Ould Mohamedou

Publication Activity (10 Years)

Years Active: 2008-2010
Publications (10 Years): 0

Publications

Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes
Resolution-based lower bounds in MaxSAT. Constraints An Int. J. 15 (4) (2010)
Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes
Exploiting Cycle Structures in Max-SAT. SAT (2009)
Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes
Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation. CP (2008)