The SCEAS System
| |||||||

## Search the dblp DataBase
Hubie Chen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Hubie Chen
**Collapsibility and Consistency in Quantified Constraint Satisfaction.**[Citation Graph (0, 0)][DBLP] AAAI, 2004, pp:155-160 [Conf] - 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] - Hubie Chen
**The Expressive Rate of Constraints.**[Citation Graph (0, 0)][DBLP] AMAI, 2004, pp:- [Conf] - Hubie Chen
**Periodic Constraint Satisfaction Problems: Polynomial-Time Algorithms.**[Citation Graph (0, 0)][DBLP] CP, 2003, pp:199-213 [Conf] - Hubie Chen
**Quantified Constraint Satisfaction and 2-Semilattice Polymorphisms.**[Citation Graph (0, 0)][DBLP] CP, 2004, pp:168-181 [Conf] - 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] - Hubie Chen, Víctor Dalmau
**Beyond Hypertree Width: Decomposition Methods Without Decompositions.**[Citation Graph (0, 0)][DBLP] CP, 2005, pp:167-181 [Conf] - 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] - Hubie Chen, Stephen Chong
**Owned Policies for Information Security.**[Citation Graph (0, 0)][DBLP] CSFW, 2004, pp:126-138 [Conf] - Manuel Bodirsky, Hubie Chen
**Collapsibility in Infinite-Domain Quantified Constraint Satisfaction.**[Citation Graph (0, 0)][DBLP] CSL, 2006, pp:197-211 [Conf] - 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] - Hubie Chen
**Quantified Constraint Satisfaction and Bounded Treewidth.**[Citation Graph (0, 0)][DBLP] ECAI, 2004, pp:161-165 [Conf] - Hubie Chen
**Inverse Circumscription.**[Citation Graph (0, 0)][DBLP] IJCAI, 2003, pp:449-454 [Conf] - Hubie Chen
**A Theory of Average-Case Compilability in Knowledge Representation.**[Citation Graph (0, 0)][DBLP] IJCAI, 2003, pp:455-460 [Conf] - Hubie Chen
**Parameterized Compilability.**[Citation Graph (0, 0)][DBLP] IJCAI, 2005, pp:412-417 [Conf] - Hubie Chen, Yannet Interian
**A Model for Generating Random Quantified Boolean Formulas.**[Citation Graph (0, 0)][DBLP] IJCAI, 2005, pp:66-71 [Conf] - Hubie Chen
**Arithmetic Constant-Depth Circuit Complexity Classes.**[Citation Graph (0, 0)][DBLP] MFCS, 2003, pp:328-337 [Conf] - Hubie Chen
**Inverse NP Problems.**[Citation Graph (0, 0)][DBLP] MFCS, 2003, pp:338-347 [Conf] - Hubie Chen, Martin Pál
**Optimization, Games, and Quantified Constraint Satisfaction.**[Citation Graph (0, 0)][DBLP] MFCS, 2004, pp:239-250 [Conf] - Hubie Chen
**An Algorithm for SAT Above the Threshold.**[Citation Graph (0, 0)][DBLP] SAT, 2003, pp:14-24 [Conf] - Hubie Chen, Víctor Dalmau
**Looking Algebraically at Tractable Quantified Boolean Formulas.**[Citation Graph (0, 0)][DBLP] SAT, 2004, pp:- [Conf] - 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] - Hubie Chen
**Quantified Constraint Satisfaction, Maximal Constraint Languages, and Symmetric Polymorphisms.**[Citation Graph (0, 0)][DBLP] STACS, 2005, pp:315-326 [Conf] - 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] - Hubie Chen
**Periodic Constraint Satisfaction Problems: Tractable Subclasses.**[Citation Graph (0, 0)][DBLP] Constraints, 2005, v:10, n:2, pp:97-113 [Journal] - Hubie Chen, Riccardo Pucella
**A Coalgebraic Approach to Kleene Algebra with Tests**[Citation Graph (0, 0)][DBLP] CoRR, 2004, v:0, n:, pp:- [Journal] - 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] - 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] - 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] - 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] - 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] - Manuel Bodirsky, Hubie Chen
**Qualitative Temporal and Spatial Reasoning Revisited.**[Citation Graph (0, 0)][DBLP] CSL, 2007, pp:194-207 [Conf] - 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] - Manuel Bodirsky, Hubie Chen
**Quantified Equality Constraints.**[Citation Graph (0, 0)][DBLP] LICS, 2007, pp:203-212 [Conf] - Hubie Chen
**Logic Column 17: A Rendezvous of Logic, Complexity, and Algebra**[Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp:- [Journal] - 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] - 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] **Act Local, Think Global: Width Notions for Tractable Planning.**[Citation Graph (, )][DBLP]**Causal Graphs and Structurally Restricted Planning.**[Citation Graph (, )][DBLP]**Constraint Satisfaction with Succinctly Specified Relations.**[Citation Graph (, )][DBLP]**Quantified Constraint Satisfaction and the Polynomially Generated Powers Property.**[Citation Graph (, )][DBLP]**Quantified Constraints and Containment Problems.**[Citation Graph (, )][DBLP]**On-the-Fly Macros.**[Citation Graph (, )][DBLP]**Inverse NP Problems.**[Citation Graph (, )][DBLP]**Relatively quantified constraint satisfaction.**[Citation Graph (, )][DBLP]**Beyond Hypertree Width: Decomposition Methods Without Decompositions**[Citation Graph (, )][DBLP]**Existentially Restricted Quantified Constraint Satisfaction**[Citation Graph (, )][DBLP]**Peek Arc Consistency**[Citation Graph (, )][DBLP]**Bounded Rationality, Strategy Simplification, and Equilibrium**[Citation Graph (, )][DBLP]**A rendezvous of logic, complexity, and algebra.**[Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.006secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |