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
