The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hubie Chen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hubie Chen
    Collapsibility and Consistency in Quantified Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    AAAI, 2004, pp:155-160 [Conf]
  2. Andrei A. Bulatov, Hubie Chen, Víctor Dalmau
    Learnability of Relatively Quantified Generalized Formulas. [Citation Graph (0, 0)][DBLP]
    ALT, 2004, pp:365-379 [Conf]
  3. Hubie Chen
    The Expressive Rate of Constraints. [Citation Graph (0, 0)][DBLP]
    AMAI, 2004, pp:- [Conf]
  4. Hubie Chen
    Periodic Constraint Satisfaction Problems: Polynomial-Time Algorithms. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:199-213 [Conf]
  5. Hubie Chen
    Quantified Constraint Satisfaction and 2-Semilattice Polymorphisms. [Citation Graph (0, 0)][DBLP]
    CP, 2004, pp:168-181 [Conf]
  6. Hubie Chen, Víctor Dalmau
    (Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability. [Citation Graph (0, 0)][DBLP]
    CP, 2004, pp:182-196 [Conf]
  7. Hubie Chen, Víctor Dalmau
    Beyond Hypertree Width: Decomposition Methods Without Decompositions. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:167-181 [Conf]
  8. Hubie Chen, Carla P. Gomes, Bart Selman
    Formal Models of Heavy-Tailed Behavior in Combinatorial Search. [Citation Graph (0, 0)][DBLP]
    CP, 2001, pp:408-421 [Conf]
  9. Hubie Chen, Stephen Chong
    Owned Policies for Information Security. [Citation Graph (0, 0)][DBLP]
    CSFW, 2004, pp:126-138 [Conf]
  10. Manuel Bodirsky, Hubie Chen
    Collapsibility in Infinite-Domain Quantified Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    CSL, 2006, pp:197-211 [Conf]
  11. Hubie Chen, Víctor Dalmau
    From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    CSL, 2005, pp:232-247 [Conf]
  12. Hubie Chen
    Quantified Constraint Satisfaction and Bounded Treewidth. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:161-165 [Conf]
  13. Hubie Chen
    Inverse Circumscription. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:449-454 [Conf]
  14. Hubie Chen
    A Theory of Average-Case Compilability in Knowledge Representation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:455-460 [Conf]
  15. Hubie Chen
    Parameterized Compilability. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:412-417 [Conf]
  16. Hubie Chen, Yannet Interian
    A Model for Generating Random Quantified Boolean Formulas. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:66-71 [Conf]
  17. Hubie Chen
    Arithmetic Constant-Depth Circuit Complexity Classes. [Citation Graph (0, 0)][DBLP]
    MFCS, 2003, pp:328-337 [Conf]
  18. Hubie Chen
    Inverse NP Problems. [Citation Graph (0, 0)][DBLP]
    MFCS, 2003, pp:338-347 [Conf]
  19. Hubie Chen, Martin Pál
    Optimization, Games, and Quantified Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    MFCS, 2004, pp:239-250 [Conf]
  20. Hubie Chen
    An Algorithm for SAT Above the Threshold. [Citation Graph (0, 0)][DBLP]
    SAT, 2003, pp:14-24 [Conf]
  21. Hubie Chen, Víctor Dalmau
    Looking Algebraically at Tractable Quantified Boolean Formulas. [Citation Graph (0, 0)][DBLP]
    SAT, 2004, pp:- [Conf]
  22. Hubie Chen, Víctor Dalmau
    Looking Algebraically at Tractable Quantified Boolean Formulas. [Citation Graph (0, 0)][DBLP]
    SAT (Selected Papers, 2004, pp:71-79 [Conf]
  23. Hubie Chen
    Quantified Constraint Satisfaction, Maximal Constraint Languages, and Symmetric Polymorphisms. [Citation Graph (0, 0)][DBLP]
    STACS, 2005, pp:315-326 [Conf]
  24. Hubie Chen
    The expressive rate of constraints. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2005, v:44, n:4, pp:341-352 [Journal]
  25. Hubie Chen
    Periodic Constraint Satisfaction Problems: Tractable Subclasses. [Citation Graph (0, 0)][DBLP]
    Constraints, 2005, v:10, n:2, pp:97-113 [Journal]
  26. Hubie Chen, Riccardo Pucella
    A Coalgebraic Approach to Kleene Algebra with Tests [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  27. Hubie Chen
    Polynomial Programs and the Razborov-Smolensky Method [Citation Graph (0, 0)][DBLP]
    Electronic Colloquium on Computational Complexity (ECCC), 2001, v:8, n:067, pp:- [Journal]
  28. Hubie Chen
    Arithmetic Versions of Constant Depth Circuit Complexity Classes [Citation Graph (0, 0)][DBLP]
    Electronic Colloquium on Computational Complexity (ECCC), 2001, v:, n:095, pp:- [Journal]
  29. Hubie Chen
    Quantified Constraint Satisfaction, Maximal Constraint Languages, and Symmetric Polymorphisms [Citation Graph (0, 0)][DBLP]
    Electronic Colloquium on Computational Complexity (ECCC), 2005, v:, n:036, pp:- [Journal]
  30. Hubie Chen, Riccardo Pucella
    A Coalgebraic Approach to Kleene Algebra with Tests. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
  31. Hubie Chen, Riccardo Pucella
    A coalgebraic approach to Kleene algebra with tests. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:327, n:1-2, pp:23-44 [Journal]
  32. Manuel Bodirsky, Hubie Chen
    Qualitative Temporal and Spatial Reasoning Revisited. [Citation Graph (0, 0)][DBLP]
    CSL, 2007, pp:194-207 [Conf]
  33. Manuel Bodirsky, Hubie Chen, Jan Kára, Timo von Oertzen
    Maximal Infinite-Valued Constraint Languages. [Citation Graph (0, 0)][DBLP]
    ICALP, 2007, pp:546-557 [Conf]
  34. Manuel Bodirsky, Hubie Chen
    Quantified Equality Constraints. [Citation Graph (0, 0)][DBLP]
    LICS, 2007, pp:203-212 [Conf]
  35. Hubie Chen
    Logic Column 17: A Rendezvous of Logic, Complexity, and Algebra [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  36. Hubie Chen
    The Complexity of Quantified Constraint Satisfaction: Collapsibility, Sink Algebras, and the Three-Element Case [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  37. Andrei A. Bulatov, Hubie Chen, Víctor Dalmau
    Learning intersection-closed classes with signatures. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:382, n:3, pp:209-220 [Journal]

  38. Act Local, Think Global: Width Notions for Tractable Planning. [Citation Graph (, )][DBLP]


  39. Causal Graphs and Structurally Restricted Planning. [Citation Graph (, )][DBLP]


  40. Constraint Satisfaction with Succinctly Specified Relations. [Citation Graph (, )][DBLP]


  41. Quantified Constraint Satisfaction and the Polynomially Generated Powers Property. [Citation Graph (, )][DBLP]


  42. Quantified Constraints and Containment Problems. [Citation Graph (, )][DBLP]


  43. On-the-Fly Macros. [Citation Graph (, )][DBLP]


  44. Inverse NP Problems. [Citation Graph (, )][DBLP]


  45. Relatively quantified constraint satisfaction. [Citation Graph (, )][DBLP]


  46. Beyond Hypertree Width: Decomposition Methods Without Decompositions [Citation Graph (, )][DBLP]


  47. Existentially Restricted Quantified Constraint Satisfaction [Citation Graph (, )][DBLP]


  48. Peek Arc Consistency [Citation Graph (, )][DBLP]


  49. Bounded Rationality, Strategy Simplification, and Equilibrium [Citation Graph (, )][DBLP]


  50. A rendezvous of logic, complexity, and algebra. [Citation Graph (, )][DBLP]


Search in 0.271secs, Finished in 0.273secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002