Charles Jordan

22 papers A 2C 3Journal 14Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
Parallel Redundancy Removal in lrslib with Application to Projections.
CoRR
David Avis, Charles Jordan
2021 J jnl
lrsarith: a small fixed/hybrid arithmetic C library.
CoRR
David Avis, Charles Jordan
2021 J jnl
mts: a light framework for parallelizing tree search codes.
Optim. Methods Softw.
David Avis, Charles Jordan
2018 J jnl
Parallel Enumeration of Triangulations.
Electron. J. Comb.
Charles Jordan, Michael Joswig, Lars Kastner
2018 J jnl
mplrs: A scalable parallel vertex/facet enumeration code.
Math. Program. Comput.
David Avis, Charles Jordan
2017 J jnl
Parallel Enumeration of Triangulations.
CoRR
Charles Jordan, Michael Joswig, Lars Kastner
2017 J jnl
mts: a light framework for parallelizing tree search codes.
CoRR
David Avis, Charles Jordan
2016 J jnl
A parallel framework for reverse search using mts.
CoRR
David Avis, Charles Jordan
2016 J jnl
Machine Learning with Guarantees using Descriptive Complexity and SMT Solvers.
CoRR
Charles Jordan, Lukasz Kaiser
2016 — conf
Non-CNF QBF Solving with QCIR.
AAAI Workshop: Beyond NP
Charles Jordan, Will Klieber, Martina Seidl
2016 J jnl
The Kahr-Moore-Wang Class Contains Untestable Properties.
Balt. J. Mod. Comput.
Charles Jordan, Thomas Zeugmann
2015 J jnl
Comparative computational results for some vertex and facet enumeration codes.
CoRR
David Avis, Charles Jordan
2015 J jnl
mplrs: A scalable parallel vertex/facet enumeration code.
CoRR
David Avis, Charles Jordan
2014 A conf
MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing.
SAT
Charles Jordan, Lukasz Kaiser, Florian Lonsing, Martina Seidl
2014 J jnl
The QBFGallery 2014: The QBF Competition at the FLoC Olympic Games.
J. Satisf. Boolean Model. Comput.
Mikolas Janota, Charles Jordan, Will Klieber, Florian Lonsing, Martina Seidl, Allen Van Gelder
2013 A conf
Experiments with Reduction Finding.
SAT
Charles Jordan, Lukasz Kaiser
2012 — conf
Experimental Descriptive Complexity.
Logic and Program Semantics
Marco Carmosino, Neil Immerman, Charles Jordan
2012 J jnl
Testable and untestable classes of first-order formulae.
J. Comput. Syst. Sci.
Charles Jordan, Thomas Zeugmann
2011 C conf
Untestable Properties in the Kahr-Moore-Wang Class.
WoLLIC
Charles Jordan, Thomas Zeugmann
2010 C conf
A Note on the Testability of Ramsey's Class.
TAMC
Charles Jordan, Thomas Zeugmann
2010 C conf
Untestable Properties Expressible with Four First-Order Quantifiers.
LATA
Charles Jordan, Thomas Zeugmann
2009 — conf
Relational Properties Expressible with One Universal Quantifier Are Testable.
SAGA
Charles Jordan, Thomas Zeugmann