Concepedia

Miyuki Koshimura

MK

7

Publications

225

Citations

7

H-Index

2009

Active since

Affiliations

Kyushu University(Current)

University of Yamanashi

Miyuki Koshimura is an author at Kyushu University specializing in computer science, combinatorial optimization, and engineering.

Top concepts

EngineeringComputer ScienceCombinatorial OptimizationSatisfiabilityMathematical ProgrammingFormal MethodsBusinessGame TheoryMechanism DesignNetwork Analysis

Publications per year

2009–2018

7

Publications

7

QMaxSAT: A Partial Max-SAT Solver

Miyuki Koshimura, Tong Zhang, Hiroshi Fujita et al. · Journal on Satisfiability Boolean Modeling and Computation · 2012 · 118 citations · Full text

Modulo Based CNF Encoding of Cardinality Constraints and Its Application to MaxSAT Solvers

Toru Ogawa, Yangyang Liu, Ryuzo Hasegawa et al. · 2013 · 29 citations

Mathematical Programming, Maxsat Solvers, Modulo Totalizer +15

Minimal model generation with respect to an atom set

Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita et al. · 2009 · 20 citations

Solving the Coalition Structure Generation Problem with MaxSAT

Xiaojuan Liao, Miyuki Koshimura, Hiroshi Fujita et al. · 2012 · 17 citations

Mathematical Programming, Engineering, Game Theory +19

Solving Open Job-Shop Scheduling Problems by SAT Encoding

Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita et al. · IEICE Transactions on Information and Systems · 2010 · 16 citations · Full text

Mathematical Programming, Job Scheduler, Engineering +15

Rows per page

1–5 of 7