Charles Jordan
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| \texttt{mplrs}: a scalable parallel vertex/facet enumeration code Mathematical Programming Computation | 2018-11-09 | Paper |
| Parallel enumeration of triangulations The Electronic Journal of Combinatorics | 2018-08-15 | Paper |
| Parallel enumeration of triangulations The Electronic Journal of Combinatorics | 2018-08-15 | Paper |
| \(\mathsf{MPIDepQBF}\): towards parallel QBF solving without knowledge sharing Lecture Notes in Computer Science | 2014-09-26 | Paper |
| Experiments with reduction finding Theory and Applications of Satisfiability Testing – SAT 2013 | 2013-08-05 | Paper |
| Testable and untestable classes of first-order formulae Journal of Computer and System Sciences | 2012-08-17 | Paper |
| Experimental descriptive complexity Logic and Program Semantics | 2012-07-16 | Paper |
| Untestable Properties in the Kahr-Moore-Wang Class Logic, Language, Information and Computation | 2011-05-27 | Paper |
| A note on the testability of Ramsey's class Lecture Notes in Computer Science | 2010-06-17 | Paper |
| Untestable Properties Expressible with Four First-Order Quantifiers Language and Automata Theory and Applications | 2010-05-26 | Paper |
| Relational Properties Expressible with One Universal Quantifier Are Testable Stochastic Algorithms: Foundations and Applications | 2009-11-19 | Paper |
| Indistinguishability and First-Order Logic Lecture Notes in Computer Science | 2008-05-27 | Paper |
Research outcomes over time
This page was built for person: Charles Jordan
