Travelled to:1 × Portugal
Collaborated with:R.H.Sloan G.Turán
Talks about:upper (1) renam (1) bound (1) horn (1)
Person: Marina Langlois
DBLP: Langlois:Marina
Contributed to:
Wrote 1 papers:
- SAT-2007-LangloisST #bound
- Horn Upper Bounds and Renaming (ML, RHS, GT), pp. 80–93.












