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 × USA
1 × United Kingdom
Collaborated with:
O.Strichman M.Koifman
Talks about:
preprocess (1) unsatisfi (1) resolut (1) formula (1) effect (1) small (1) hyper (1) domin (1) deriv (1) cost (1)

Person: Roman Gershman

DBLP DBLP: Gershman:Roman

Contributed to:

CAV 20062006
SAT 20052005

Wrote 2 papers:

CAV-2006-GershmanKS #satisfiability
Deriving Small Unsatisfiable Cores with Dominators (RG, MK, OS), pp. 109–122.
SAT-2005-GershmanS #effectiveness #preprocessor
Cost-Effective Hyper-Resolution for Preprocessing CNF Formulas (RG, OS), pp. 423–429.

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.