Jordan Charles Harold ジョーダンチャールズハロルド

… Alternative Names

JORDAN Charles ジョーダンチャールズハロルド

Less

Researcher Number	60647577
Other IDs
Affiliation (Current)	2025: 小樽商科大学, 商学部, 准教授
Affiliation (based on the past Project Information) *help	2021 – 2024: 小樽商科大学, 商学部, 准教授 2018 – 2021: 北海道大学, 情報科学研究院, 助教 2013 – 2018: 北海道大学, 情報科学研究科, 助教
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related / Science and Engineering Except Principal Investigator Medium-sized Section 61:Human informatics and related fields / Multimedia database / Mathematical informatics
Keywords	Principal Investigator 論理ソルバ / 並列計算 / 記述計算量 / SMTソルバ / ポリトープ / 幾何計算 / 充足可能性問題 / QBFソルバ / 並列論理ソルバ / QBF … More / 機会学習 / 知識発見 / 機械学習 / 分散計算 / 有限モデル理論 / 形式論理 / 計算量理論 / 並列QBFソルバ / 分散QBFソルバ / プログラム合成 … More Except Principal Investigator データマイニング / 知識基盤形成 / 次世代機械学習技術 / 大規模半構造データ / 離散構造学習 / 文脈性 / 多重性 / QBFソルバー / 大規模知識処理 / 情報検索 / ストリームデータ処理 / 数理計画法 / 離散最適化 / 並列計算 / 計算機科学 / 大規模並列化 / 数理計画法への応用 / 大規模並列処理 / 幾何計算 Less

高性能論理ソルバと幾何計算の結合による技術発展とその応用Principal Investigator
- Principal Investigator
  
  ジョーダンチャールズハロルド
- Project Period (FY)
  2023 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Otaru University of Commerce
Development of Next-generation Semi-Structured Data Mining Technology Towards The Real-World Knowledge Creation Infrastructure
- Principal Investigator
  
  有村博紀
- Project Period (FY)
  2020 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 61:Human informatics and related fields
- Research Institution
  Hokkaido University
Large-scale parallel logic solvers and applications using complexityPrincipal Investigator
- Principal Investigator
  
  Jordan Charles
- Project Period (FY)
  2018 – 2021
- Research Category
  
  Grant-in-Aid for Early-Career Scientists
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Otaru University of Commerce
  Hokkaido University
Large scale parallelization for geometric computation and mathematical optimization
- Principal Investigator
  
  Avis David
- Project Period (FY)
  2016 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Mathematical informatics
- Research Institution
  Kyoto University
論理式の探索と自動合成による計算限界解析Principal Investigator
- Principal Investigator
  
  ジョーダンチャールズハロルド
- Project Period (FY)
  2015 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research on Innovative Areas (Research in a proposed research area)
- Review Section
  
  Science and Engineering
- Research Institution
  Hokkaido University
Efficient search and discovery technology for processing massive data stream in the real world
- Principal Investigator
  
  Arimura Hiroki
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Multimedia database
- Research Institution
  Hokkaido University
形式論理のプロパティー検査と発見による計算限界の解析Principal Investigator
- Principal Investigator
  
  ジョーダンチャールズハロルド
- Project Period (FY)
  2013 – 2014
- Research Category
  
  Grant-in-Aid for Scientific Research on Innovative Areas (Research in a proposed research area)
- Review Section
  
  Science and Engineering
- Research Institution
  Hokkaido University

All 2022 2021 2019 2018 2017 2016 2015 2014 2013 Other

All Journal Article Presentation

[Journal Article] lrsarith: a small fixed/hybrid arithmetic C library2021
- Author(s)
  David Avis and Charles Jordan
- Journal Title
  
  arXiv
  
  Volume: arXiv:2101.12425
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K18027
[Journal Article] mts: a light framework for parallelizing tree search codes2019
- Author(s)
  David Avis, Charles Jordan
- Journal Title
  
  Optimization Methods and Software
  
  Volume: online Issue: 2-3 Pages: 1-22
- DOI
  10.1080/10556788.2019.1692344
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K19771, KAKENHI-PROJECT-16H02785, KAKENHI-PROJECT-18K18027, KAKENHI-PROJECT-20H00595
[Journal Article] mts: A light framework for parallelizing tree search codes2019
- Author(s)
  David Avis and Charles Jordan
- Journal Title
  
  arXiv:1709.07605v2 (revision of earlier paper)
  
  Volume: 1709.07605v2 Pages: 1-19
- NAID
  120006896756
- Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02785
[Journal Article] Parallel Enumeration of Triangulations2018
- Author(s)
  Charles Jordan, Michael Joswig, Lars Kastner
- Journal Title
  
  Electronic Journal of Combinatorics
  
  Volume: 25(3)
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18K18027
[Journal Article] Parallel Enumeration of Triangulations2018
- Author(s)
  Charles Jordan, Michael Joswig and Lars Kastner
- Journal Title
  
  The Electronic Journal of Combinatorics
  
  Volume: 25 Pages: 1-27
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02785
[Journal Article] Parallel Enumeration of Triangulations2017
- Author(s)
  Jordan Charles, Joswig Michael , Kastner Lars
- Journal Title
  
  arXiv:1709.04746
  
  Volume: 1 Pages: 1-27
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02785
[Journal Article] mplrs: A scalable parallel vertex/facet enumeration code2017
- Author(s)
  Avis David、Jordan Charles
- Journal Title
  
  Mathematical Programming Computation
  
  Volume: ー Issue: 2 Pages: 1-36
- DOI
  10.1007/s12532-017-0129-y
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K12022, KAKENHI-PROJECT-18K18027, KAKENHI-PROJECT-16H02785
[Journal Article] The Kahr-Moore-Wang Class Contains Untestable Properties2016
- Author(s)
  Charles Jordan and Thomas Zeugmann
- Journal Title
  
  Baltic Journal of Modern Computing
  
  Volume: 4 Issue: 4 Pages: 736-752
- DOI
  10.22364/bjmc.2016.4.4.11
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PUBLICLY-15H00847, KAKENHI-PROJECT-16H02785, KAKENHI-PROJECT-15K12022
[Journal Article] Machine Learning with Guarantees using Descriptive Complexity and SMT Solvers2016
- Author(s)
  Charles Jordan and Lukasz Kaiser
- Journal Title
  
  arXiv:1609.02664
  
  Volume: なし
- Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PUBLICLY-15H00847
[Journal Article] QBF Gallery 2014: The QBF Competition at the FLoC 2014 Olympic Games2016
- Author(s)
  Mikolas Janota, Charles Jordan, Will Klieber, Florian Lonsing, Martina Seidl and Allen Van Gelder
- Journal Title
  
  Journal on Satisfiability, Boolean Modeling and Computation
  
  Volume: 9 Pages: 187-206
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PUBLICLY-15H00847
[Journal Article] A parallel framework for reverse search using mts2016
- Author(s)
  David Avis and Charles Jordan
- Journal Title
  
  arXiv:1610.07735
  
  Volume: なし
- Acknowledgement Compliant
- Data Source
  KAKENHI-PUBLICLY-15H00847
[Journal Article] QBF Gallery 2014: The QBF Competition at the FLoC 2014 Olympic Games2016
- Author(s)
  Mikolas Janota, Charles Jordan, Will Klieber, Florian Lonsing, Martina Seidl and Allen Van Gelder
- Journal Title
  
  Journal on Satisfiability, Boolean Modeling and Computation
  
  Volume: 9 Pages: 187-206
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K12022
[Journal Article] Machine Learning with Guarantees using Descriptive Complexity and SMT Solvers2016
- Author(s)
  Charles Jordan, Lukasz Kaiser
- Journal Title
  
  The Computing Research Repository (CoRR)
  
  Volume: abs/1609.02664 Pages: 1-30
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K12022
[Journal Article] Non-CNF QBF Solving with QCIR2016
- Author(s)
  Charles Jordan, Will Klieber, Martina Seidl
- Journal Title
  
  In Proc. Workshop Beyond NP 2016, The Workshops of the Thirtieth AAAI Conference on Artificial Intelligence, AAAI Technical Report
  
  Volume: WS-16-05 Pages: 320-326
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K12022
[Journal Article] mplrs: A scalable parallel vertex/facet enumeration code2015
- Author(s)
  David Avis and Charles Jordan
- Journal Title
  
  CoRR, arXiv
  
  Volume: 1511.06487 Pages: 1-16
- Data Source
  KAKENHI-PROJECT-15K12022
[Journal Article] mplrs: A scalable parallel vertex/facet enumeration code2015
- Author(s)
  David Avis and Charles Jordan
- Journal Title
  
  arXiv
  
  Volume: 1511:06487 Pages: 1-16
- Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PUBLICLY-15H00847
[Journal Article] Comparative computational results for some vertex and facet enumeration codes2015
- Author(s)
  David Avis and Charles Jordan
- Journal Title
  
  arXiv
  
  Volume: 1510.02545 Pages: 1-4
- Acknowledgement Compliant / Int'l Joint Research
- Data Source
  KAKENHI-PUBLICLY-15H00847
[Journal Article] Comparative computational results for some vertex and facet enumeration codes2015
- Author(s)
  David Avis and Charles Jordan
- Journal Title
  
  CoRR, arXiv
  
  Volume: 1510.02545 Pages: 1-4
- Data Source
  KAKENHI-PROJECT-15K12022
[Journal Article] MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing2014
- Author(s)
  Charles Jordan, Lukasz Kaiser, Florian Lonsing, Martina Seidl
- Journal Title
  
  Theory and Applications of Satisfiability Testing, SAT 2014, Proceedings, Lecture Notes in Computer Science
  
  Volume: 8561 Pages: 430-437
- DOI
  10.1007/978-3-319-09284-3_32
- ISBN
  9783319092836, 9783319092843
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PUBLICLY-25106501
[Journal Article] Experiments with Reduction Finding2013
- Author(s)
  Charles Jordan and Lukasz Kaiser
- Journal Title
  
  Theory and Applications of Satisfiability Testing, SAT 2013, Proceedings, Lecture Notes in Computer Science
  
  Volume: 7962 Pages: 192-207
- DOI
  10.1007/978-3-642-39071-5_15
- ISBN
  9783642390708, 9783642390715
- Peer Reviewed
- Data Source
  KAKENHI-PUBLICLY-25106501
[Presentation] 論理、QBFと計算量2022
- Author(s)
  ジョーダンチャールズ
- Organizer
  小樽社情研究会，小樽商科大学
- Data Source
  KAKENHI-PROJECT-20H00595
[Presentation] Parallel vertex and facet enumeration with mplrs2017
- Author(s)
  Skip Jordan
- Organizer
  Talk in Algebra Seminar, Osnabr"uck University, Germany, March 2017
- Invited
- Data Source
  KAKENHI-PROJECT-15K12022
[Presentation] Parallel vertex and facet enumeration with mplrs2017
- Author(s)
  Charles Jordan
- Organizer
  Algebraic Statistics and Symbolic Computation
- Place of Presentation
  RIMS, Kyoto University
- Year and Date
  2017-07-25
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16H02785
[Presentation] Parallel vertex and facet enumeration with mplrs2016
- Author(s)
  Skip Jordan
- Organizer
  Algebraic Statistics and Symbolic Computation, Polyhedral Computations Session
- Place of Presentation
  京都大学（京都市）
- Invited
- Data Source
  KAKENHI-PUBLICLY-15H00847
[Presentation] Non-CNF QBF Solving with QCIR2016
- Author(s)
  Charles Jordan, Will Klieber and Martina Seidl
- Organizer
  AAAI-16 Workshop on Beyond NP
- Place of Presentation
  Phoenix (USA)
- Year and Date
  2016-02-12
- Int'l Joint Research
- Data Source
  KAKENHI-PUBLICLY-15H00847
[Presentation] Non-CNF QBF Solving with QCIR2016
- Author(s)
  Charles Jordan, Will Klieber and Martina Seidl
- Organizer
  AAAI-16 Workshop on Beyond NP
- Place of Presentation
  Phoenix, Arizona, USA
- Year and Date
  2016-02-12
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K12022
[Presentation] QBFソルバを用いた一般化三並べの拡張の勝敗判定2015
- Author(s)
  ディプタラマ, 石黒裕也, 成澤和志, 篠原歩, ジョーダンチャールズ
- Organizer
  ゲームプログラミングワークショップ2015
- Place of Presentation
  軽井沢学習研修所（長野県）
- Year and Date
  2015-11-06
- Data Source
  KAKENHI-PUBLICLY-15H00847
[Presentation] The QBF Gallery 2014: A Competitive Evaluation of QBF Tools2014
- Author(s)
  Charles Jordan, Martina Seidl
- Organizer
  International Workshop on Quantified Boolean Formulas (QBF 2014)
- Place of Presentation
  Vienna University of Technology (Austria)
- Year and Date
  2014-07-13
- Data Source
  KAKENHI-PUBLICLY-25106501
[Presentation] QBF Gallery2014
- Author(s)
  Charles Jordan, Martina Seidl
- Organizer
  Theory and Applications of Satisfiability Testing (SAT 2014)
- Place of Presentation
  Vienna University of Technology (Austria)
- Year and Date
  2014-07-17
- Data Source
  KAKENHI-PUBLICLY-25106501
[Presentation] 記述計算量と論理式の発見2013
- Author(s)
  Charles Jordan
- Organizer
  ERATO湊離散構造処理系プロジェクト　2013年度秋のワークショップ
- Place of Presentation
  北海道大学 (札幌市)
- Data Source
  KAKENHI-PUBLICLY-25106501
[Presentation] Experimental Descriptive Complexity: Recent Directions2013
- Author(s)
  Charles Jordan
- Organizer
  ELC平成25年度第二回領域会議
- Place of Presentation
  東北大学 (仙台市)
- Data Source
  KAKENHI-PUBLICLY-25106501
[Presentation] 記述計算量とSATソルバによる帰着の発見2013
- Author(s)
  Charles Jordan and Lukasz Kaiser
- Organizer
  第３回CSPSAT2研究会
- Place of Presentation
  北海道大学 (札幌市)
- Data Source
  KAKENHI-PUBLICLY-25106501
[Presentation] Learning Programs as Logical Queries2013
- Author(s)
  Charles Jordan and Lukasz Kaiser
- Organizer
  ICALP 2013 Satellite Workshop on Learning Theory and Complexity (LTC 2013)
- Place of Presentation
  University of Latvia (Latvia)
- Data Source
  KAKENHI-PUBLICLY-25106501
[Presentation] Benchmarks from Reduction Finding2013
- Author(s)
  Charles Jordan and Lukasz Kaiser
- Organizer
  International Workshop on Quantified Boolean Formulas 2013 (QBF 2013), Informal Workshop Report, pp. 40-43
- Place of Presentation
  University of Helsinki (Finland)
- Data Source
  KAKENHI-PUBLICLY-25106501
[Presentation] 記述計算量と論理式の発見2013
- Author(s)
  Skip Jordan
- Organizer
  ELC平成25年度第一回領域会議
- Place of Presentation
  京都大学 (京都市)
- Data Source
  KAKENHI-PUBLICLY-25106501
[Presentation] Property Testing, Logic and Complexity2013
- Author(s)
  Skip Jordan
- Organizer
  ELC Mini-Workshop on Sublinear-Time Algorithms (A02)
- Place of Presentation
  国立情報学研究所 (東京)
- Data Source
  KAKENHI-PUBLICLY-25106501
[Presentation] MPIDepQBF: 分散QBFとの経験
- Author(s)
  Charles Jordan
- Organizer
  ERATO湊離散構造処理系プロジェクト「2014年度春のワークショップ」
- Place of Presentation
  北海道大学（札幌市）
- Year and Date
  2014-04-18 – 2014-04-19
- Data Source
  KAKENHI-PUBLICLY-25106501
[Presentation] MPIDepQBF: 分散QBFソルバ
- Author(s)
  Charles Jordan
- Organizer
  ERATO湊離散構造処理系プロジェクト「2014年度秋のワークショップ」
- Place of Presentation
  北海道礼文島「ピスカ21」
- Year and Date
  2014-09-07 – 2014-09-10
- Data Source
  KAKENHI-PUBLICLY-25106501

1. Avis David (90584110)

# of Collaborated Projects: 2 results

# of Collaborated Products: 1 results
2. Arimura Hiroki (20222763)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. トーマスツォイクマン (60374609)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
4. 宇野毅明 (00302977)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 平田耕一 (20274558)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. 山本章博 (30230535)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. 小林靖明 (60735083)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. 喜田拓也 (70343316)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Jordan Charles Harold ジョーダン チャールズハロルド

JORDAN Charles ジョーダン チャールズハロルド

Research Projects

Research Products

Co-Researchers

高性能論理ソルバと幾何計算の結合による技術発展とその応用Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Development of Next-generation Semi-Structured Data Mining Technology Towards The Real-World Knowledge Creation Infrastructure

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Large-scale parallel logic solvers and applications using complexityPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Large scale parallelization for geometric computation and mathematical optimization

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

論理式の探索と自動合成による計算限界解析Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Efficient search and discovery technology for processing massive data stream in the real world

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

形式論理のプロパティー検査と発見による計算限界の解析Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

[Journal Article] lrsarith: a small fixed/hybrid arithmetic C library2021

Author(s)

Journal Title

Data Source

[Journal Article] mts: a light framework for parallelizing tree search codes2019

Author(s)

Journal Title

DOI

Data Source

[Journal Article] mts: A light framework for parallelizing tree search codes2019

Author(s)

Journal Title

NAID

Data Source

[Journal Article] Parallel Enumeration of Triangulations2018

Author(s)

Journal Title

Data Source

[Journal Article] Parallel Enumeration of Triangulations2018

Author(s)

Journal Title

Data Source

[Journal Article] Parallel Enumeration of Triangulations2017

Author(s)

Journal Title

Data Source

[Journal Article] mplrs: A scalable parallel vertex/facet enumeration code2017

Author(s)

Journal Title

DOI

Data Source

[Journal Article] The Kahr-Moore-Wang Class Contains Untestable Properties2016

Author(s)

Jordan Charles Harold ジョーダンチャールズハロルド

JORDAN Charles ジョーダンチャールズハロルド