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

arXiv

巻: arXiv:2101.12425

Optimization Methods and Software

巻: online 号: 2-3 ページ: 1-22

10.1080/10556788.2019.1692344

arXiv:1709.07605v2 (revision of earlier paper)

巻: 1709.07605v2 ページ: 1-19

120006896756

Electronic Journal of Combinatorics

巻: 25(3)

The Electronic Journal of Combinatorics

巻: 25 ページ: 1-27

arXiv:1709.04746

巻: 1 ページ: 1-27

Mathematical Programming Computation

巻: ー 号: 2 ページ: 1-36

10.1007/s12532-017-0129-y

Baltic Journal of Modern Computing

巻: 4 号: 4 ページ: 736-752

10.22364/bjmc.2016.4.4.11

arXiv:1609.02664

巻: なし

Journal on Satisfiability, Boolean Modeling and Computation

巻: 9 ページ: 187-206

arXiv:1610.07735

巻: なし

Journal on Satisfiability, Boolean Modeling and Computation

巻: 9 ページ: 187-206

The Computing Research Repository (CoRR)

巻: abs/1609.02664 ページ: 1-30

In Proc. Workshop Beyond NP 2016, The Workshops of the Thirtieth AAAI Conference on Artificial Intelligence, AAAI Technical Report

巻: WS-16-05 ページ: 320-326

CoRR, arXiv

巻: 1511.06487 ページ: 1-16

arXiv

巻: 1511:06487 ページ: 1-16

arXiv

巻: 1510.02545 ページ: 1-4

CoRR, arXiv

巻: 1510.02545 ページ: 1-4

Theory and Applications of Satisfiability Testing, SAT 2014, Proceedings, Lecture Notes in Computer Science

巻: 8561 ページ: 430-437

10.1007/978-3-319-09284-3_32

Theory and Applications of Satisfiability Testing, SAT 2013, Proceedings, Lecture Notes in Computer Science

巻: 7962 ページ: 192-207

10.1007/978-3-642-39071-5_15