BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Finland
1 × Italy
Collaborated with:
K.Heljanko H.v.Maaren
Talks about:
strengthen (1) increment (1) asynchron (1) guarante (1) concurr (1) multi (1) claus (1) solv (1) find (1) fast (1)

Person: Siert Wieringa

DBLP DBLP: Wieringa:Siert

Contributed to:

SAT 20132013
TACAS 20132013
SAT 20082008

Wrote 3 papers:

SAT-2013-WieringaH #concurrent
Concurrent Clause Strengthening (SW, KH), pp. 116–132.
TACAS-2013-WieringaH #incremental #manycore #satisfiability
Asynchronous Multi-core Incremental SAT Solving (SW, KH), pp. 139–153.
SAT-2008-MaarenW #performance
Finding Guaranteed MUSes Fast (HvM, SW), pp. 291–304.
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.