Hubie (Hubert) Chen

Department of Computer Science
Upson Hall
Cornell University
Ithaca, NY 14853

E-Mail Address: "hubes" concatenated to "@cs.cornell.edu"

Publications

• Andrei Bulatov, Hubie Chen, and Victor Dalmau.
  Learnability of Relatively Quantified Generalized Formulas.
  The 15th International Conference on Algorithmic Learning Theory (ALT), 2004, Padova, Italy.
  E.M. Gold Award.

• Hubie Chen.
  Quantified Constraint Satisfaction and 2-Semilattice Polymorphisms.
  Tenth International Conference on Principles and Practice of Constraint Programming, 2004, Toronto, Canada.

• Hubie Chen and Victor Dalmau.
  (Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability.
  Tenth International Conference on Principles and Practice of Constraint Programming, 2004, Toronto, Canada.

• Hubie Chen.
  Quantified Constraint Satisfaction and Bounded Treewidth.
  16th European Conference on Artificial Intelligence (ECAI), 2004, Valencia, Spain.

• Hubie Chen and Martin Pál.
  Optimization, Games, and Quantified Constraint Satisfaction.
  29th International Symposium on Mathematical Foundations of Computer Science (MFCS), 2004, Prague, Czech Republic.

• Hubie Chen.
  Collapsibility and Consistency in Quantified Constraint Satisfaction.
  Nineteenth National Conference on Artificial Intelligence (AAAI), 2004, San Jose, California, USA.

• Hubie Chen and Stephen Chong.
  Owned Policies for Information Security.
  17th IEEE Computer Security Foundations Workshop (CSFW), 2004, Pacific Grove, California, USA.

• Hubie Chen and Victor Dalmau.
  Looking Algebraically at Tractable Quantified Boolean Formulas.
  Seventh International Conference on Theory and Applications of Satisfiability Testing, 2004, Vancouver, British Columbia, Canada.

• Hubie Chen.
  The Expressive Rate of Constraints.
  Eighth International Symposium on Artificial Intelligence and Mathematics, 2004, Fort Lauderdale, Florida, USA.

• Hubie Chen.
  Quantified Constraint Satisfaction Problems: Closure Properties, Complexity, and Algorithms.
  2003.
• Hubie Chen.
  Periodic Constraint Satisfaction Problems: Polynomial-Time Algorithms.
  Ninth International Conference on Principles and Practice of Constraint Programming, 2003, Kinsale, County Cork, Ireland.
• Hubie Chen.
  Inverse NP Problems.
  28th International Symposium on Mathematical Foundations of Computer Science (MFCS), 2003, Bratislava, Slovak Republic.
  Conference version.
• Hubie Chen.
  Arithmetic Constant-Depth Circuit Complexity Classes.
  28th International Symposium on Mathematical Foundations of Computer Science (MFCS), 2003, Bratislava, Slovak Republic.
  Conference version.
• Hubie Chen.
  A Theory of Average-Case Compilability in Knowledge Representation.
  Eighteenth International Joint Conference on Artificial Intelligence (IJCAI), 2003, Acapulco, Mexico.
• Hubie Chen.
  Inverse Circumscription.
  Eighteenth International Joint Conference on Artificial Intelligence (IJCAI), 2003, Acapulco, Mexico.
• Hubie Chen.
  An Algorithm for SAT Above the Threshold.
  Sixth International Conference on Theory and Applications of Satisfiability Testing, 2003, S. Margherita Ligure - Portofino, Italy.
• Hubie Chen and Riccardo Pucella.
  A Coalgebraic Approach to Kleene Algebra with Tests.
  Coalgebraic Methods in Computer Science (CMCS), 2003, Warsaw, Poland.
• Hubie Chen, Carla Gomes, and Bart Selman.
  Formal Models of Heavy-Tailed Behavior in Combinatorial Search.
  Seventh International Conference on Principles and Practice of Constraint Programming, 2001, Paphos, Cyprus.

WWW Links

Local

Bibliographies, Digital Libraries, Preprint Servers, etc.

NCSTRL

Electronic Colloquium on Computational Complexity (ECCC)

STOC Proceedings from the ACM Digital Library

arXiv.org e-Print archive

NEC ResearchIndex

Miscellaneous