E-LIB Suche - Ergebnisse für: Koshimura, Miyuki

1

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/..

2

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/..

3

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/..

4

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/..

5

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/..

6

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/..

7

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/..

8

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/..

9

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/..

10

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/..

11

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/..

12

Reconstructing AES Key Schedule Images with SAT and MaxSAT:

LIAO, Xiaojuan ; ZHANG, Hui ; KOSHIMURA, Miyuki
IEICE Transactions on Information and Systems. E99.D (2016) 1 - p. 141-150 , 2016

Link: https://doi.org/10.1587/..

13

Extending MaxSAT to Solve the Coalition Structure Generatio..:

LIAO, Xiaojuan ; KOSHIMURA, Miyuki ; FUJITA, Hiroshi.
IEICE Transactions on Information and Systems. E97.D (2014) 7 - p. 1812-1821 , 2014

Link: https://doi.org/10.1587/..

14

MaxSAT Encoding for MC-Net-Based Coalition Structure Genera..:

LIAO, Xiaojuan ; KOSHIMURA, Miyuki ; FUJITA, Hiroshi.
IEICE Transactions on Information and Systems. E97.D (2014) 7 - p. 1781-1789 , 2014

Link: https://doi.org/10.1587/..

15

Hybrid particle swarm optimization and convergence analysis..:

, In: Proceedings of the 14th annual conference companion on Genetic and evolutionary computation,

Zhang, Xue-Feng ; Koshimura, Miyuki ; Fujita, Hiroshi. - p. 307-314 , 2012

Link: https://dl.acm.org/doi/1..