Charles Jordan

Available identifiers

zbMath Open jordan.charles.1MaRDI QIDQ440004

List of research outcomes

Publication	Date of Publication	Type
\texttt{mplrs}: a scalable parallel vertex/facet enumeration code	2018-11-09	Paper
Parallel enumeration of triangulations	2018-08-15	Paper
\(\mathsf{MPIDepQBF}\): towards parallel QBF solving without knowledge sharing	2014-09-26	Paper
Experiments with reduction finding	2013-08-05	Paper
Testable and untestable classes of first-order formulae	2012-08-17	Paper
Experimental descriptive complexity	2012-07-16	Paper
Untestable Properties in the Kahr-Moore-Wang Class	2011-05-27	Paper
A note on the testability of Ramsey's class	2010-06-17	Paper
Untestable Properties Expressible with Four First-Order Quantifiers	2010-05-26	Paper
Relational Properties Expressible with One Universal Quantifier Are Testable	2009-11-19	Paper
Indistinguishability and First-Order Logic	2008-05-27	Paper

Research outcomes over time

This page was built for person: Charles Jordan