Hubie (Hubert) Chen

Departament de Tecnologies de la Informació i les Comunicacions
Universitat Pompeu Fabra
Barcelona, Spain

E-Mail Address: please use my gmail address if possible. Otherwise, please try (five-letter first name)(dot)(last name)(at)(three-letter abbreviation of university)(dot)(edu).

Full List of Publications

Recent/Selected Publications

• Hubie Chen.
  Meditations on Quantified Constraint Satisfaction.
  arXiv:1201.6306.

• Simone Bova, Hubie Chen, and Matt Valeriote.
  Generic Expression Hardness Results for Primitive Positive Formula Comparison.
  Information and Computation (invited; ICALP '11 special issue).
  Conference version appeared in: 38th International Colloquium on Automata, Languages and Programming (ICALP), 2011, Zürich, Switzerland.
  Draft of full version, July 2011.

• Hubie Chen, Victor Dalmau, and Berit Grußien.
  Arc Consistency and Friends.
  Journal of Logic and Computation.
  A version appears as arXiv:1104.4993.

• Hubie Chen.
  Bounded Rationality, Strategy Simplification, and Equilibrium.
  International Journal of Game Theory (invited; LOFT '10 special issue).
  A version appears as arXiv:1002.4577.
  

• Hubie Chen.
  Quantified Constraint Satisfaction and the Polynomially Generated Powers Property.
  Algebra Universalis, Volume 65, Number 3 (2011), 213-241.
  Conference version appeared in: 35th International Colloquium on Automata, Languages and Programming (ICALP), 2008, Reykjavik, Iceland.
  

• Manuel Bodirsky, Hubie Chen, and Michael Pinsker.
  The reducts of equality up to primitive positive interdefinability.
  Journal of Symbolic Logic, Volume 75, Issue 4 (2010), 1249-1292.
  A version appears as arXiv:0810.2270.
  

• Manuel Bodirsky and Hubie Chen.
  Quantified Equality Constraints.
  SIAM Journal on Computing 39(8): 3682-3699, 2010.
  Conference version appeared in: Twenty-Second Annual IEEE Symposium on Logic in Computer Science (LICS), 2007, Wroclaw, Poland.
  

• Hubie Chen and Martin Grohe.
  Constraint Satisfaction with Succinctly Specified Relations.
  Journal of Computer and System Sciences, Volume 76, Issue 8, December 2010, Pages 847-860.
  

• Hubie Chen and Omer Gimenez.
  Causal Graphs and Structurally Restricted Planning.
  Journal of Computer and System Sciences, Volume 76, Issue 7, November 2010, Pages 579-592.
  Conference version appeared in: International Conference on Automated Planning & Scheduling (ICAPS), 2008, Sydney, Australia.
  

• Hubie Chen.
  A Rendezvous of Logic, Complexity, and Algebra.
  ACM Computing Surveys, Volume 42, Issue 1, December 2009.
  Earlier version appeared as: SIGACT News Logic Column, December 2006. (See Errata.)
  

Some talks/presentations

• Generic Expression Hardness Results for Primitive Positive Formula Comparison. 2011. (Fields Institute version.)
• Bounded Rationality, Strategy Simplification, and Equilibrium. 2010. (Barcelona Jocs version.)
• The Complexity of Constraint Satisfaction. ESSLLI 2010 Course, Copenhagen.
  
• What is a tractable class? Dagstuhl 2009.
  
• Arc Consistency and Friends. CanaDAM 2009, Montreal.
  
• Causal Graphs and Structurally Restricted Planning. ICAPS 2008, Sydney.
  
• Quantifying Chandra-Merlin. Logic and Algorithms, 2008, Edinburgh.
  
• Quantified Constraint Satisfaction and the Polynomially Generated Powers Property. ICALP 2008, Reykjavik.
  

Quotes
Erdos-Bacon number
Proof that P does not equal NP
Links: BlocksQBF: a random QBF generator, Memorable Quotes from "It's My Turn", Papers with cute titles, On the word processor