1.Polynomial Programs and the Razborov-Smolensky Method

作　　者：Hubie Chen

出　　处：Electronic Colloquium on Computational Complexity. 2001 ;2001.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：47147043

文章详细全文下载

2.Arithmetic Versions of Constant Depth Circuit Complexity Classes

作　　者：Hubie Chen

出　　处：Electronic Colloquium on Computational Complexity. 2001 ;2001.

出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung

文章 ID：47147071

文章详细全文下载

3.How Many Variables Are Needed to Express an Existential Positive Query?

作　　者：Simone Bova ;Hubie Chen

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;68:9:1-9:16.doi:10.4230/LIPIcs.ICDT.2017.9

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：191698397

文章详细全文下载

4.An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction

作　　者：Hubie Chen ;Moritz Müller

出　　处：Logical Methods in Computer Science. 2013 ;9(1):1.doi:10.2168/LMCS-9(1:15)2013

出版社：Technical University of Braunschweig

文章 ID：264691902

文章详细全文下载

5.Quantified Constraints and Containment Problems

作　　者：Barnaby Martin ;Hubie Chen ;Florent Madelaine

出　　处：Logical Methods in Computer Science. 2015 ;11(3):1.doi:10.2168/LMCS-11(3:9)2015

出版社：Technical University of Braunschweig

文章 ID：264692066

文章详细全文下载

6.Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction

作　　者：Hubie Chen

出　　处：Logical Methods in Computer Science. 2014 ;10(4):1.doi:10.2168/LMCS-10(4:14)2014

出版社：Technical University of Braunschweig

文章 ID：264692161

文章详细全文下载

7.Sparsification Lower Bounds for List H-Coloring

作　　者：Hubie Chen ;Bart M. P. Jansen ;Karolina Okrasa 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;181:1-17.doi:10.4230/LIPIcs.ISAAC.2020.58

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：257805025

文章详细全文下载

8.A Trichotomy in the Complexity of Counting Answers to Conjunctive Queries

作　　者：Hubie Chen ;Stefan Mengel

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;31:110-126.doi:10.4230/LIPIcs.ICDT.2015.110

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186846713

文章详细全文下载

9.Parameter Compilation

作　　者：Hubie Chen

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;43:127-137.doi:10.4230/LIPIcs.IPEC.2015.127

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847141

文章详细全文下载

10.Quantified Constraint Satisfaction on Monoids

作　　者：Hubie Chen ;Peter Mayr

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:15:1-15:14.doi:10.4230/LIPIcs.CSL.2016.15

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186847932

文章详细全文下载

	2020	1篇
	2019	1篇
	2017	1篇
	2016	2篇
	2015	3篇

	Hubie Chen	12篇
	Astrid Pieterse	2篇
	Bart M. P. Jansen	2篇
	Barnaby Martin	1篇
	Florent Madelaine	1篇

	Karolina Okrasa	1篇
	Moritz Müller	1篇
	Peter Mayr	1篇
	Rzążewski, Paweł	1篇
	Simone Bova	1篇
	Stefan Mengel	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Hubie Chen")))) )) ) )"

	LIPIcs : Leibniz International Proceedings in Informatics	7篇
	Logical Methods in Computer Science	3篇
	Electronic Colloquium on Computational Complexity	2篇