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 × Belgium
1 × Finland
1 × Italy
1 × Korea
1 × Portugal
2 × USA
Collaborated with:
F.Bacchus A.Sabharwal M.Sellmann L.Bordeaux C.Reddy Y.Malitsky T.Schrijvers G.Tack P.Wuille P.J.Stuckey B.Bloom D.Grove B.Herta V.A.Saraswat
Talks about:
sat (3) portfolio (2) framework (2) algorithm (2) qbf (2) constraint (1) satisfact (1) introduct (1) stochast (1) parallel (1)

Person: Horst Samulowitz

DBLP DBLP: Samulowitz:Horst

Contributed to:

SAT 20132013
LOPSTR 20122012
SAT 20122012
SAT 20112011
SAC 20072007
SAT 20072007
SAT 20062006

Wrote 9 papers:

SAT-2013-SamulowitzRSS #algorithm #named
Snappy: A Simple Algorithm Portfolio (HS, CR, AS, MS), pp. 422–428.
LOPSTR-2012-SchrijversTWSS #combinator
An Introduction to Search Combinators (TS, GT, PW, HS, PJS), pp. 2–16.
SAT-2012-BloomGHSSS #framework #game studies #named #parallel #satisfiability #scalability
SatX10: A Scalable Plug&Play Parallel SAT Framework — (BB, DG, BH, AS, HS, VAS), pp. 463–468.
SAT-2011-MalitskySSS #algorithm #satisfiability
Non-Model-Based Algorithm Portfolios for SAT (YM, AS, HS, MS), pp. 369–370.
SAC-2007-BordeauxS #constraints #framework #on the #probability
On the stochastic constraint satisfaction framework (LB, HS), pp. 316–320.
SAT-2007-SamulowitzB #clustering
Dynamically Partitioning for Solving QBF (HS, FB), pp. 215–229.
SAT-2006-SamulowitzB #reasoning
Binary Clause Reasoning in QBF (HS, FB), pp. 353–367.

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.