Travelled to:1 × Italy
1 × United Kingdom
Collaborated with:H.v.Maaren
Talks about:satisfi (2) threshold (1) phenomena (1) maximum (1) formula (1) densiti (1) hidden (1) squar (1) sum (1) sat (1)
Person: Linda van Norden
DBLP: Norden:Linda_van
Contributed to:
20052003Wrote 2 papers:
- SAT-2005-MaarenN #satisfiability
- Sums of Squares, Satisfiability and Maximum Satisfiability (HvM, LvN), pp. 294–308.
- SAT-2003-MaarenN
- Hidden Threshold Phenomena for Fixed-Density SAT-formulae (HvM, LvN), pp. 135–149.