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 × Austria
1 × Finland
1 × Portugal
1 × United Kingdom
Collaborated with:
H.Veith S.Szeider
Talks about:
queri (2) treewidth (1) distribut (1) character (1) quantifi (1) backdoor (1) syntact (1) revisit (1) formula (1) boolean (1)

Person: Marko Samer

DBLP DBLP: Samer:Marko

Contributed to:

SAT 20092009
SAT 20072007
ICALP 20042004
CSL 20032003

Wrote 4 papers:

SAT-2009-SamerV #encoding #satisfiability
Encoding Treewidth into SAT (MS, HV), pp. 45–50.
SAT-2007-SamerS #quantifier #set
Backdoor Sets of Quantified Boolean Formulas (MS, SS), pp. 230–243.
ICALP-2004-SamerV #ltl #query
A Syntactic Characterization of Distributive LTL Queries (MS, HV), pp. 1099–1110.
CSL-2003-SamerV #query #revisited
Validity of CTL Queries Revisited (MS, HV), pp. 470–483.

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.