Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Koshimura, Miyuki
27  Ergebnisse:
Personensuche X
?
1

Solving Restricted Preemptive Scheduling on Parallel Machin..:

Xiaojuan Liao ; Hui Zhang ; Miyuki Koshimura..
https://lib.jucs.org/article/97743/download/pdf/.  , 2023
Link: https://doi.org/10.3897/..
 
?
2

Solving Restricted Preemptive Scheduling on Parallel Machin..:

Liao, Xiaojuan ; Zhang, Hui ; Koshimura, Miyuki..
https://zenodo.org/record/8300587.  , 2023
Link: https://zenodo.org/recor..
 
?
3

Solving Restricted Preemptive Scheduling on Parallel Machin..:

Liao, Xiaojuan ; Zhang, Hui ; Koshimura, Miyuki..
info:eu-repo/semantics/altIdentifier/eissn/0948-6968.  , 2023
Link: https://doi.org/10.3897/..
 
?
4

Impossibility of weakly stable and strategy-proof mechanism:

Cho, Sung-Ho ; Koshimura, Miyuki ; Mandal, Pinaki..
Economics Letters.  217 (2022)  - p. 110675 , 2022
Link: https://doi.org/10.1016/..
 
?
5

Robust Weighted Partial Maximum Satisfiability Problem: Cha..:

, In: Lecture Notes in Computer Science; PRICAI 2022: Trends in Artificial Intelligence,
Sugahara, Tomoya ; Yamashita, Kaito ; Barrot, Nathanaël.. - p. 17-31 , 2022
Link: https://doi.org/10.1007/..
 
?
6

Concise integer linear programming formulation for clique p..:

Koshimura, Miyuki ; Watanabe, Emi ; Sakurai, Yuko.
Constraints.  27 (2022)  1-2 - p. 99-115 , 2022
Link: https://doi.org/10.1007/..
 
?
7

Modeling and Solving Scheduling in Overloaded Situations wi..:

Liao, Xiaojuan ; Zhang, Hui ; Koshimura, Miyuki...
Mathematical Problems in Engineering.  2021 (2021)  - p. 1-17 , 2021
Link: https://doi.org/10.1155/..
 
?
8

Modeling and Solving Scheduling in Overloaded Situations wi..:

Xiaojuan Liao ; Hui Zhang ; Miyuki Koshimura...
http://dx.doi.org/10.1155/2021/9615463.  , 2021
Link: https://doi.org/10.1155/..
 
?
9

A Simple yet Efficient MCSes Enumeration with SAT Oracles:

, In: Intelligent Information and Database Systems; Lecture Notes in Computer Science,
Koshimura, Miyuki ; Satoh, Ken - p. 191-201 , 2020
Link: https://doi.org/10.1007/..
 
?
10

CNF Encodings for the Min-Max Multiple Traveling Salesmen P..:

, In: 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI),
Zha, Aolong ; Gao, Rongxuan ; Chang, Qiong.. - p. 285-292 , 2020
Link: https://doi.org/10.1109/..
 
?
11

Solving Coalition Structure Generation Problems over Weight..:

, In: PRIMA 2019: Principles and Practice of Multi-Agent Systems; Lecture Notes in Computer Science,
Watanabe, Emi ; Koshimura, Miyuki ; Sakurai, Yuko. - p. 338-353 , 2019
Link: https://doi.org/10.1007/..
 
?
12

N-level Modulo-Based CNF encodings of Pseudo-Boolean constr..:

Zha, Aolong ; Koshimura, Miyuki ; Fujita, Hiroshi
Constraints.  24 (2019)  2 - p. 133-161 , 2019
Link: https://doi.org/10.1007/..
 
?
13

A comparative analysis and improvement of MaxSAT encodings ..:

Liao, Xiaojuan ; Koshimura, Miyuki
Journal of Logic and Computation.  29 (2019)  6 - p. 913-931 , 2019
Link: https://doi.org/10.1093/..
 
?
14

Maximum Satisfiability Formulation for Optimal Scheduling i..:

, In: PRICAI 2019: Trends in Artificial Intelligence; Lecture Notes in Computer Science,
Liao, Xiaojuan ; Zhang, Hui ; Koshimura, Miyuki.. - p. 618-631 , 2019
Link: https://doi.org/10.1007/..
 
?
15

Improved WPM encoding for coalition structure generation un..:

Liao, Xiaojuan ; Koshimura, Miyuki ; Nomoto, Kazuki...
Constraints.  24 (2018)  1 - p. 25-55 , 2018
Link: https://doi.org/10.1007/..
 
1-15