Travelled to:1 × Italy
1 × Portugal
1 × United Kingdom
Collaborated with:N.Eén A.Biere A.Mishchenko
Talks about:sat (2) synthesi (1) solver (1) extens (1) speed (1) minim (1) logic (1) learn (1) claus (1) appli (1)
Person: Niklas Sörensson
DBLP: S=ouml=rensson:Niklas
Contributed to:
200920072003Wrote 3 papers:
- SAT-2009-SorenssonB
- Minimizing Learned Clauses (NS, AB), pp. 237–243.
- SAT-2007-EenMS #logic #satisfiability #synthesis
- Applying Logic Synthesis for Speeding Up SAT (NE, AM, NS), pp. 272–286.
- SAT-2003-EenS
- An Extensible SAT-solver (NE, NS), pp. 502–518.