Hubie Chen

	2012
68		Hubie Chen: Meditations on Quantified Constraint Satisfaction. Logic and Program Semantics 2012: 35-49
67		Hubie Chen: Meditations on Quantified Constraint Satisfaction CoRR abs/1201.6306: (2012)
66		Manuel Bodirsky, Hubie Chen, Tomás Feder: On the Complexity of MMSNP. SIAM J. Discrete Math. 26(1): 404-414 (2012)
65		Simone Bova, Hubie Chen, Matthew Valeriote: On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas. Theory Comput. Syst. 50(2): 329-353 (2012)
	2011
64		Simone Bova, Hubie Chen, Matthew Valeriote: Generic Expression Hardness Results for Primitive Positive Formula Comparison. ICALP (2) 2011: 344-355
63		Hubie Chen, Víctor Dalmau, Berit Grußien: Arc Consistency and Friends CoRR abs/1104.4993: (2011)
	2010
62		Hubie Chen: Bounded Rationality, Strategy Simplification, and Equilibrium CoRR abs/1002.4577: (2010)
61		Hubie Chen, Omer Giménez: Causal graphs and structurally restricted planning. J. Comput. Syst. Sci. 76(7): 579-592 (2010)
60		Hubie Chen, Martin Grohe: Constraint satisfaction with succinctly specified relations. J. Comput. Syst. Sci. 76(8): 847-860 (2010)
59		Manuel Bodirsky, Hubie Chen, Michael Pinsker: The reducts of equality up to primitive positive interdefinability. J. Symb. Log. 75(4): 1249-1292 (2010)
58		Manuel Bodirsky, Hubie Chen: Quantified Equality Constraints. SIAM J. Comput. 39(8): 3682-3699 (2010)
57		Manuel Bodirsky, Hubie Chen: Peek arc consistency. Theor. Comput. Sci. 411(2): 445-453 (2010)
	2009
56		Hubie Chen, Omer Giménez: On-the-Fly Macros. WoLLIC 2009: 155-169
55		Hubie Chen: A rendezvous of logic, complexity, and algebra. ACM Comput. Surv. 42(1): (2009)
54		Manuel Bodirsky, Hubie Chen: Relatively quantified constraint satisfaction. Constraints 14(1): 3-15 (2009)
53		Hubie Chen: Existentially restricted quantified constraint satisfaction. Inf. Comput. 207(3): 369-388 (2009)
52		Ferdinand Börner, Andrei A. Bulatov, Hubie Chen, Peter Jeavons, Andrei A. Krokhin: The complexity of constraint satisfaction games and QCSP. Inf. Comput. 207(9): 923-944 (2009)
51		Manuel Bodirsky, Hubie Chen: Qualitative Temporal and Spatial Reasoning Revisited. J. Log. Comput. 19(6): 1359-1383 (2009)
50		Manuel Bodirsky, Hubie Chen, Jan Kára, Timo von Oertzen: Maximal infinite-valued constraint languages. Theor. Comput. Sci. 410(18): 1684-1693 (2009)
	2008
49		Hubie Chen: Quantified Constraint Satisfaction and the Polynomially Generated Powers Property. ICALP (2) 2008: 197-208
48		Hubie Chen, Omer Giménez: Causal Graphs and Structurally Restricted Planning. ICAPS 2008: 36-43
47		Hubie Chen, Florent R. Madelaine, Barnaby Martin: Quantified Constraints and Containment Problems. LICS 2008: 317-328
46		Manuel Bodirsky, Hubie Chen: Peek Arc Consistency CoRR abs/0809.0788: (2008)
45		Hubie Chen: Inverse NP Problems. Computational Complexity 17(1): 94-118 (2008)
44		Hubie Chen: The Complexity of Quantified Constraint Satisfaction: Collapsibility, Sink Algebras, and the Three-Element Case. SIAM J. Comput. 37(5): 1674-1701 (2008)
	2007
43		Manuel Bodirsky, Hubie Chen: Qualitative Temporal and Spatial Reasoning Revisited. CSL 2007: 194-207
42		Manuel Bodirsky, Hubie Chen, Jan Kára, Timo von Oertzen: Maximal Infinite-Valued Constraint Languages. ICALP 2007: 546-557
41		Hubie Chen, Omer Giménez: Act Local, Think Global: Width Notions for Tractable Planning. ICAPS 2007: 73-80
40		Manuel Bodirsky, Hubie Chen: Quantified Equality Constraints. LICS 2007: 203-212
39		Andrei A. Bulatov, Hubie Chen, Víctor Dalmau: Learning intersection-closed classes with signatures. Theor. Comput. Sci. 382(3): 209-220 (2007)
	2006
38		Manuel Bodirsky, Hubie Chen: Collapsibility in Infinite-Domain Quantified Constraint Satisfaction. CSL 2006: 197-211
37		Hubie Chen, Martin Grohe: Constraint Satisfaction with Succinctly Specified Relations. Complexity of Constraints 2006
36		Hubie Chen: The Complexity of Quantified Constraint Satisfaction: Collapsibility, Sink Algebras, and the Three-Element Case CoRR abs/cs/0607106: (2006)
35		Hubie Chen: Logic Column 17: A Rendezvous of Logic, Complexity, and Algebra CoRR abs/cs/0611018: (2006)
34		Hubie Chen: A rendezvous of logic, complexity, and algebra. SIGACT News 37(4): 85-114 (2006)
	2005
33		Hubie Chen, Víctor Dalmau: Beyond Hypertree Width: Decomposition Methods Without Decompositions. CP 2005: 167-181
32		Hubie Chen, Víctor Dalmau: From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction. CSL 2005: 232-247
31		Hubie Chen: Parameterized Compilability. IJCAI 2005: 412-417
30		Hubie Chen, Yannet Interian: A Model for Generating Random Quantified Boolean Formulas. IJCAI 2005: 66-71
29		Hubie Chen: Quantified Constraint Satisfaction, Maximal Constraint Languages, and Symmetric Polymorphisms. STACS 2005: 315-326
28		Hubie Chen: The expressive rate of constraints. Ann. Math. Artif. Intell. 44(4): 341-352 (2005)
27		Hubie Chen, Víctor Dalmau: Beyond Hypertree Width: Decomposition Methods Without Decompositions CoRR abs/cs/0505035: (2005)
26		Hubie Chen: Existentially Restricted Quantified Constraint Satisfaction CoRR abs/cs/0506059: (2005)
25		Hubie Chen: Periodic Constraint Satisfaction Problems: Tractable Subclasses. Constraints 10(2): 97-113 (2005)
24		Hubie Chen: Quantified Constraint Satisfaction, Maximal Constraint Languages, and Symmetric Polymorphisms Electronic Colloquium on Computational Complexity (ECCC)(036): (2005)
	2004
23		Hubie Chen: Collapsibility and Consistency in Quantified Constraint Satisfaction. AAAI 2004: 155-160
22		Andrei A. Bulatov, Hubie Chen, Víctor Dalmau: Learnability of Relatively Quantified Generalized Formulas. ALT 2004: 365-379
21		Hubie Chen: The Expressive Rate of Constraints. AMAI 2004
20		Hubie Chen: Quantified Constraint Satisfaction and 2-Semilattice Polymorphisms. CP 2004: 168-181
19		Hubie Chen, Víctor Dalmau: (Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability. CP 2004: 182-196
18		Hubie Chen, Stephen Chong: Owned Policies for Information Security. CSFW 2004: 126-138
17		Hubie Chen: Quantified Constraint Satisfaction and Bounded Treewidth. ECAI 2004: 161-165
16		Hubie Chen: The Expressive Rate of Constraints. ISAIM 2004
15		Hubie Chen, Martin Pál: Optimization, Games, and Quantified Constraint Satisfaction. MFCS 2004: 239-250
14		Hubie Chen, Víctor Dalmau: Looking Algebraically at Tractable Quantified Boolean Formulas. SAT 2004
13		Hubie Chen, Víctor Dalmau: Looking Algebraically at Tractable Quantified Boolean Formulas. SAT (Selected Papers 2004: 71-79
12		Hubie Chen, Riccardo Pucella: A Coalgebraic Approach to Kleene Algebra with Tests CoRR cs.LO/0405097: (2004)
11		Hubie Chen, Riccardo Pucella: A coalgebraic approach to Kleene algebra with tests. Theor. Comput. Sci. 327(1-2): 23-44 (2004)
	2003
10		Hubie Chen: Periodic Constraint Satisfaction Problems: Polynomial-Time Algorithms. CP 2003: 199-213
9		Hubie Chen: Inverse Circumscription. IJCAI 2003: 449-454
8		Hubie Chen: A Theory of Average-Case Compilability in Knowledge Representation. IJCAI 2003: 455-460
7		Hubie Chen: Arithmetic Constant-Depth Circuit Complexity Classes. MFCS 2003: 328-337
6		Hubie Chen: Inverse NP Problems. MFCS 2003: 338-347
5		Hubie Chen: An Algorithm for SAT Above the Threshold. SAT 2003: 14-24
4		Hubie Chen, Riccardo Pucella: A Coalgebraic Approach to Kleene Algebra with Tests. Electr. Notes Theor. Comput. Sci. 82(1): 94-109 (2003)
	2001
3		Hubie Chen, Carla P. Gomes, Bart Selman: Formal Models of Heavy-Tailed Behavior in Combinatorial Search. CP 2001: 408-421
2		Hubie Chen: Polynomial Programs and the Razborov-Smolensky Method Electronic Colloquium on Computational Complexity (ECCC) 8(067): (2001)
1		Hubie Chen: Arithmetic Versions of Constant Depth Circuit Complexity Classes Electronic Colloquium on Computational Complexity (ECCC)(095): (2001)

Coauthor Index

1	Manuel Bodirsky	[38] [40] [42] [43] [46] [50] [51] [54] [57] [58] [59] [66]
2	Ferdinand Börner	[52]
3	Simone Bova	[64] [65]
4	Andrei A. Bulatov	[22] [39] [52]
5	Stephen Chong	[18]
6	Víctor Dalmau	[13] [14] [19] [22] [27] [32] [33] [39] [63]
7	Tomás Feder	[66]
8	Omer Giménez	[41] [48] [56] [61]
9	Carla P. Gomes	[3]
10	Martin Grohe	[37] [60]
11	Berit Grußien	[63]
12	Yannet Interian	[30]
13	Peter Jeavons (Peter G. Jeavons)	[52]
14	Jan Kára	[42] [50]
15	Andrei A. Krokhin	[52]
16	Florent R. Madelaine	[47]
17	Barnaby Martin	[47]
18	Timo von Oertzen	[42] [50]
19	Martin Pál (Martin Pal)	[15]
20	Michael Pinsker	[59]
21	Riccardo Pucella	[4] [11] [12]
22	Bart Selman	[3]
23	Matthew Valeriote	[64] [65]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page