Travelled to:
1 × United Kingdom
Collaborated with:
C.M.Li F.Manyà J.Planes
Talks about:
structur (1) exploit (1) cycl (1) sat (1) max (1)
Person: Nouredine Ould Mohamedou
DBLP: Mohamedou:Nouredine_Ould
Contributed to:
Wrote 1 papers:
- SAT-2009-LiMMP #satisfiability
- Exploiting Cycle Structures in Max-SAT (CML, FM, NOM, JP), pp. 467–480.