| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hubie Chen |
Meditations on Quantified Constraint Satisfaction  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Manuel Bodirsky, Hubie Chen, Tomás Feder |
On the Complexity of MMSNP. |
SIAM J. Discrete Math. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Simone Bova, Hubie Chen, Matthew Valeriote |
On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas. |
Theory Comput. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen |
Meditations on Quantified Constraint Satisfaction. |
Logic and Program Semantics |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen, Víctor Dalmau, Berit Grußien |
Arc Consistency and Friends |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Simone Bova, Hubie Chen, Matthew Valeriote |
Generic Expression Hardness Results for Primitive Positive Formula Comparison. |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Bodirsky, Hubie Chen |
Peek arc consistency. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Bodirsky, Hubie Chen, Michael Pinsker |
The reducts of equality up to primitive positive interdefinability. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hubie Chen |
Bounded Rationality, Strategy Simplification, and Equilibrium |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Hubie Chen, Omer Giménez |
Causal graphs and structurally restricted planning. |
J. Comput. Syst. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen, Martin Grohe |
Constraint satisfaction with succinctly specified relations. |
J. Comput. Syst. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Bodirsky, Hubie Chen |
Quantified Equality Constraints. |
SIAM J. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Bodirsky, Hubie Chen, Jan Kára, Timo von Oertzen |
Maximal infinite-valued constraint languages. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Bodirsky, Hubie Chen |
Relatively quantified constraint satisfaction. |
Constraints |
2009 |
DBLP DOI BibTeX RDF |
Quantified constraint satisfaction, Computational complexity |
| 1 | Ferdinand Börner, Andrei A. Bulatov, Hubie Chen, Peter Jeavons, Andrei A. Krokhin |
The complexity of constraint satisfaction games and QCSP. |
Inf. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen |
Existentially restricted quantified constraint satisfaction. |
Inf. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Bodirsky, Hubie Chen |
Qualitative Temporal and Spatial Reasoning Revisited. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen |
A rendezvous of logic, complexity, and algebra. |
ACM Comput. Surv. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen, Omer Giménez |
On-the-Fly Macros. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen |
Inverse NP Problems. |
Computational Complexity |
2008 |
DBLP DOI BibTeX RDF |
68Q17, Subject classification |
| 1 | Manuel Bodirsky, Hubie Chen |
Peek Arc Consistency |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Hubie Chen |
The Complexity of Quantified Constraint Satisfaction: Collapsibility, Sink Algebras, and the Three-Element Case. |
SIAM J. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen |
Quantified Constraint Satisfaction and the Polynomially Generated Powers Property. |
ICALP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen, Omer Giménez |
Causal Graphs and Structurally Restricted Planning. |
ICAPS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Hubie Chen, Florent R. Madelaine, Barnaby Martin |
Quantified Constraints and Containment Problems. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei A. Bulatov, Hubie Chen, Víctor Dalmau |
Learning intersection-closed classes with signatures. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Bodirsky, Hubie Chen, Jan Kára, Timo von Oertzen |
Maximal Infinite-Valued Constraint Languages. |
ICALP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen, Omer Giménez |
Act Local, Think Global: Width Notions for Tractable Planning. |
ICAPS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Manuel Bodirsky, Hubie Chen |
Quantified Equality Constraints. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Bodirsky, Hubie Chen |
Qualitative Temporal and Spatial Reasoning Revisited. |
CSL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen |
The Complexity of Quantified Constraint Satisfaction: Collapsibility, Sink Algebras, and the Three-Element Case |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hubie Chen |
Logic Column 17: A Rendezvous of Logic, Complexity, and Algebra |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Hubie Chen |
A rendezvous of logic, complexity, and algebra. |
SIGACT News |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen, Martin Grohe |
Constraint Satisfaction with Succinctly Specified Relations. |
Complexity of Constraints |
2006 |
DBLP BibTeX RDF |
|
| 1 | Manuel Bodirsky, Hubie Chen |
Collapsibility in Infinite-Domain Quantified Constraint Satisfaction. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen |
Quantified Constraint Satisfaction, Maximal Constraint Languages, and Symmetric Polymorphisms |
Electronic Colloquium on Computational Complexity (ECCC) |
2005 |
DBLP BibTeX RDF |
|
| 1 | Hubie Chen |
Periodic Constraint Satisfaction Problems: Tractable Subclasses. |
Constraints |
2005 |
DBLP DOI BibTeX RDF |
periodic problems, polynomial-time algorithms |
| 1 | Hubie Chen, Víctor Dalmau |
Beyond Hypertree Width: Decomposition Methods Without Decompositions |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Hubie Chen |
Existentially Restricted Quantified Constraint Satisfaction |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Hubie Chen |
The expressive rate of constraints. |
Ann. Math. Artif. Intell. |
2005 |
DBLP DOI BibTeX RDF |
dichotomy theorem, constraints, logic, expressiveness |
| 1 | Hubie Chen, Yannet Interian |
A Model for Generating Random Quantified Boolean Formulas. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Hubie Chen |
Parameterized Compilability. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Hubie Chen |
Quantified Constraint Satisfaction, Maximal Constraint Languages, and Symmetric Polymorphisms. |
STACS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen, Víctor Dalmau |
From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen, Víctor Dalmau |
Beyond Hypertree Width: Decomposition Methods Without Decompositions. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen, Riccardo Pucella |
A coalgebraic approach to Kleene algebra with tests. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen, Riccardo Pucella |
A Coalgebraic Approach to Kleene Algebra with Tests |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Hubie Chen |
Quantified Constraint Satisfaction and Bounded Treewidth. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Hubie Chen, Víctor Dalmau |
Looking Algebraically at Tractable Quantified Boolean Formulas. |
SAT |
2004 |
DBLP BibTeX RDF |
|
| 1 | Hubie Chen, Víctor Dalmau |
Looking Algebraically at Tractable Quantified Boolean Formulas. |
SAT (Selected Papers |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen, Martin Pál |
Optimization, Games, and Quantified Constraint Satisfaction. |
MFCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen |
The Expressive Rate of Constraints. |
ISAIM |
2004 |
DBLP BibTeX RDF |
|
| 1 | Hubie Chen, Stephen Chong |
Owned Policies for Information Security. |
CSFW |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei A. Bulatov, Hubie Chen, Víctor Dalmau |
Learnability of Relatively Quantified Generalized Formulas. |
ALT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen |
The Expressive Rate of Constraints. |
AMAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Hubie Chen |
Collapsibility and Consistency in Quantified Constraint Satisfaction. |
AAAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Hubie Chen |
Quantified Constraint Satisfaction and 2-Semilattice Polymorphisms. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen, Víctor Dalmau |
(Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen, Riccardo Pucella |
A Coalgebraic Approach to Kleene Algebra with Tests. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen |
Inverse Circumscription. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Hubie Chen |
A Theory of Average-Case Compilability in Knowledge Representation. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Hubie Chen |
An Algorithm for SAT Above the Threshold. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen |
Arithmetic Constant-Depth Circuit Complexity Classes. |
MFCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen |
Inverse NP Problems. |
MFCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen |
Periodic Constraint Satisfaction Problems: Polynomial-Time Algorithms. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hubie Chen |
Arithmetic Versions of Constant Depth Circuit Complexity Classes |
Electronic Colloquium on Computational Complexity (ECCC) |
2001 |
DBLP BibTeX RDF |
|
| 1 | Hubie Chen |
Polynomial Programs and the Razborov-Smolensky Method |
Electronic Colloquium on Computational Complexity (ECCC) |
2001 |
DBLP BibTeX RDF |
|
| 1 | Hubie Chen, Carla P. Gomes, Bart Selman |
Formal Models of Heavy-Tailed Behavior in Combinatorial Search. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")