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: Chen:Hubie
Contributed to:
2014
2013
20132012201120082008
20072007200720062005
2004200520032016Wrote 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.