Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Charles Jordan
Map detail
Charles Jordan5 visible / 5 total nodes / 4 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipCharles JordanACharles JordanResearcherMachine Learning with Guarantees using Descriptive Complexity and SMT SolversWMachine Learning with G...preprint / 2016lrsarith: a small fixed/hybrid arithmetic C libraryWlrsarith: a small fixed...preprint / 2021Comparative computational results for some vertex and facet enumeration codesWComparative computation...preprint / 2016A parallel framework for reverse search using mtsWA parallel framework fo...preprint / 2016
Person4 links

Charles Jordan

Researcher