Nouredine Ould Mohamedou

	2009
2		Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes: Exploiting Cycle Structures in Max-SAT. SAT 2009: 467-480
	2008
1		Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes: Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation. CP 2008: 582-587

Coauthor Index

1	Chu Min Li	[1] [2]
2	Felip Manyà	[1] [2]
3	Jordi Planes	[1] [2]