The following pages link to Charles Jordan (Q440004):
Displaying 6 items.
- Testable and untestable classes of first-order formulae (Q440006) (← links)
- \texttt{mplrs}: a scalable parallel vertex/facet enumeration code (Q1621690) (← links)
- Parallel enumeration of triangulations (Q1658781) (← links)
- Experimental Descriptive Complexity (Q2897942) (← links)
- Untestable Properties in the Kahr-Moore-Wang Class (Q3003359) (← links)
- MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing (Q3192089) (← links)
