ジョーダンチャールズ

JORDAN Charles

所属機関・部署：
職名：准教授
ホームページURL (2件)： https://www.otaru-uc.ac.jp/~skip/index-j.html , https://www.otaru-uc.ac.jp/~skip/

研究分野 (1件)：情報学基礎論

競争的資金等の研究課題 (7件)：

全件表示

論文 (19件)：

David Avis, Charles Jordan. mts: a light framework for parallelizing tree search codes. Optimization Methods and Software. 2021. 36. 2-3. 279-300
David Avis, Charles Jordan. mplrs: A scalable parallel vertex/facet enumeration code. Mathematical Programming Computation. 2018. 10. 2. 267-302
Charles Jordan, Michael Joswig, Lars Kastner. Parallel Enumeration of Triangulations. Electr. J. Comb. 2018. 25. 3. P3.6
Charles Jordan, Will Klieber, Martina Seidl. Non-CNF QBF Solving with QCIR. Beyond NP, The Workshops of the Thirtieth AAAI Conference on Artificial Intelligence. 2016. 320-326
Charles Jordan, Thomas Zeugmann. The Kahr-Moore-Wang Class Contains Untestable Properties. Baltic Journal of Modern Computing. 2016. 4. 4. 736-752

講演・口頭発表等 (3件)：

Parallel vertex and facet enumeration with mplrs
(RIMS Workshop on Algebraic Statistics and Symbolic Computation, Session on Polyhedral Computations 2016)
Experimental Descriptive Complexity
(Finite and Algorithmic Model Theory (FMT 2012) 2012)
Recent Progress in the Classification for Testability (short talk)
(Logic in Computer Science (LICS 2011) 2011)

学歴 (1件)：

学位 (1件)：

経歴 (3件)：

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

ジョーダン チャールズ