Concepedia

Hubie Chen

HC

23

Publications

510

Citations

15

H-Index

2004

Active since

Affiliations

Universitat Pompeu Fabra(Current)

University of the Basque Country

Cornell University

Universitat Politècnica de Catalunya

Hubie Chen is an author at Universitat Pompeu Fabra specializing in automated reasoning, engineering, and computational complexity.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputational ComplexityComputer ScienceDiscrete MathematicsCombinatorial OptimizationMathematical ProgrammingFormal VerificationDesign

Publications per year

2004–2017

23

Publications

23

The reducts of equality up to primitive positive interdefinability

Manuel Bodirsky, Hubie Chen, Michael Pinsker · Journal of Symbolic Logic · 2010 · 51 citations · Full text

Algebraic Logic, Engineering, Domain Theory +10

Causal graphs and structurally restricted planning

Hubie Chen, Omer Giménez · Journal of Computer and System Sciences · 2009 · 40 citations

Causal Graphs, Graph Theory, Automated Reasoning +8

Constraint satisfaction with succinctly specified relations

Hubie Chen, Martin Grohe · Journal of Computer and System Sciences · 2010 · 40 citations

Constraint Solving, Engineering, Constraint Satisfaction +5

The Complexity of Quantified Constraint Satisfaction: Collapsibility, Sink Algebras, and the Three-Element Case

Hubie Chen · SIAM Journal on Computing · 2008 · 39 citations

Mathematical Programming, Qcsp Reduces, Engineering +20

Counting Answers to Existential Positive Queries

Hubie Chen, Stefan Mengel · 2016 · 29 citations

Existential Positive Formulas, Engineering, Information Retrieval +13

Rows per page

1–5 of 23