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 × Croatia
1 × Hungary
1 × Iceland
1 × Italy
1 × Latvia
1 × United Kingdom
2 × Canada
2 × Poland
2 × Switzerland
2 × USA
Collaborated with:
V.Dalmau M.Bodirsky M.Müller D.Marx P.Mayr S.Bova M.Valeriote F.R.Madelaine B.Martin J.Kára T.v.Oertzen
Talks about:
quantifi (11) constraint (8) satisfact (5) tractabl (4) conjunct (4) formula (4) queri (4) algebra (3) algorithm (2) infinit (2)

Person: Hubie Chen

DBLP DBLP: Chen:Hubie

Contributed to:

CSL-LICS 20142014
ICALP (2) 20132013
PODS 20132013
LICS 20122012
ICALP (2) 20112011
ICALP (2) 20082008
LICS 20082008
CSL 20072007
ICALP 20072007
LICS 20072007
CSL 20062006
CSL 20052005
SAT 20042004
SAT 20042005
SAT 20032003
CSL 20162016

Wrote 18 papers:

LICS-CSL-2014-Chen #first-order #query #set
The tractability frontier of graph-like first-order query sets (HC), p. 9.
LICS-CSL-2014-ChenM #classification #complexity #graph #query
One hierarchy spawns another: graph deconstructions and the complexity classification of conjunctive queries (HC, MM), p. 10.
ICALP-v2-2013-ChenM #quantifier #query
Block-Sorted Quantified Conjunctive Queries (HC, DM), pp. 125–136.
PODS-2013-ChenM #classification #complexity #query
The fine classification of conjunctive queries and parameterized logarithmic space complexity (HC, MM), pp. 309–320.
LICS-2012-ChenD #quantifier
Decomposing Quantified Conjunctive (or Disjunctive) Formulas (HC, VD), pp. 205–214.
LICS-2012-ChenM #algebra #category theory #constraints #quantifier #theorem
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction (HC, MM), pp. 215–224.
ICALP-v2-2011-BovaCV #comparison
Generic Expression Hardness Results for Primitive Positive Formula Comparison (SB, HC, MV), pp. 344–355.
ICALP-B-2008-Chen #constraints #quantifier
Quantified Constraint Satisfaction and the Polynomially Generated Powers Property (HC), pp. 197–208.
LICS-2008-ChenMM #constraints #problem #quantifier
Quantified Constraints and Containment Problems (HC, FRM, BM), pp. 317–328.
CSL-2007-BodirskyC #reasoning #revisited
Qualitative Temporal and Spatial Reasoning Revisited (MB, HC), pp. 194–207.
ICALP-2007-BodirskyCKO #constraints
Maximal Infinite-Valued Constraint Languages (MB, HC, JK, TvO), pp. 546–557.
LICS-2007-BodirskyC #constraints #quantifier #similarity
Quantified Equality Constraints (MB, HC), pp. 203–212.
CSL-2006-BodirskyC #constraints #quantifier
Collapsibility in Infinite-Domain Quantified Constraint Satisfaction (MB, HC), pp. 197–211.
CSL-2005-ChenD #algorithm #consistency #constraints #game studies #quantifier
From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction (HC, VD), pp. 232–247.
SAT-2004-ChenD #algebra #quantifier
Looking Algebraically at Tractable Quantified Boolean Formulas (HC, VD), pp. 224–229.
SAT-J-2004-ChenD05 #algebra #quantifier
Looking Algebraically at Tractable Quantified Boolean Formulas (HC, VD), pp. 71–79.
SAT-2003-Chen #algorithm #satisfiability
An Algorithm for SAT Above the Threshold (HC), pp. 14–24.
CSL-2016-ChenM #constraints #monad #quantifier
Quantified Constraint Satisfaction on Monoids (HC, PM), p. 14.

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.