Nouredine Ould Mohamedou

According to our database¹, Nouredine Ould Mohamedou authored at least 3 papers between 2008 and 2010.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2010

Resolution-based lower bounds in MaxSAT.

[BibT_eX]

[DOI]

Constraints An Int. J., 2010

2009

Exploiting Cycle Structures in Max-SAT.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

2008

Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2008