Charles Jordan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2010–2016
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | AAAI | Non-CNF QBF Solving with QCIR. | Charles Jordan, Will Klieber, Martina Seidl |
| 2014 | SAT | MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing. | Charles Jordan, Lukasz Kaiser, Florian Lonsing, Martina Seidl |
| 2013 | SAT | Experiments with Reduction Finding. | Charles Jordan, Lukasz Kaiser |
| 2011 | WoLLIC | Untestable Properties in the Kahr-Moore-Wang Class. | Charles Jordan, Thomas Zeugmann |
| 2010 | LATA | Untestable Properties Expressible with Four First-Order Quantifiers. | Charles Jordan, Thomas Zeugmann |
| 2010 | TAMC | A Note on the Testability of Ramsey's Class. | Charles Jordan, Thomas Zeugmann |