BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: S=ouml=rensson:Niklas

Contributed to:

SAT 20092009
SAT 20072007
SAT 20032003

Wrote 3 papers:

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.
An Extensible SAT-solver (NE, NS), pp. 502–518.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.