Miyuki Koshimura - Concepedia

Author

Miyuki Koshimura

Also Known As

M. Koshimura, Miyuki KOSHIMURA, Miyuki Koshimura

Publications

464

Citations

H-Index

Concepts

All Affiliations

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

#	Concept	H-Index	Publications	Citations
1	Engineering	5	5	87
2	Computer Science	5	5	87
3	Business	2	2	28
4	Computer Engineering	2	2	43
5	Data Science	1	1	17

Miyuki Koshimura

Publications

225

Citations

H-Index

Page 1

	Year	Citations
QMaxSAT: A Partial Max-SAT Solver Miyuki Koshimura, Tong Zhang, Hiroshi Fujita, Journal on Satisfiability Boolean Modeling and Computation	2012	118
Modulo Based CNF Encoding of Cardinality Constraints and Its Application to MaxSAT Solvers Toru Ogawa, Yangyang Liu, Ryuzo Hasegawa, Mathematical ProgrammingMaxsat SolversModulo TotalizerConstraint SolvingEngineering	2013	29
Minimal model generation with respect to an atom set Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita,	2009	20
Solving the Coalition Structure Generation Problem with MaxSAT Xiaojuan Liao, Miyuki Koshimura, Hiroshi Fujita, Mathematical ProgrammingEngineeringGame TheoryFormal VerificationConstraint Solving	2012	17
Solving Open Job-Shop Scheduling Problems by SAT Encoding Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita, IEICE Transactions on Information and Systems Mathematical ProgrammingJob SchedulerEngineeringScheduling ProblemInteger Programming	2010	16
Improved WPM encoding for coalition structure generation under MC-nets Xiaojuan Liao, Miyuki Koshimura, Kazuki Nomoto, Constraints Network ScienceEngineeringNetwork PlanningComputer EngineeringNetwork Analysis	2018	14
MaxSAT Encoding for MC-Net-Based Coalition Structure Generation Problem with Externalities Xiaojuan Liao, Miyuki Koshimura, Hiroshi Fujita, IEICE Transactions on Information and Systems Mathematical ProgrammingEngineeringGame TheoryMaxsat EncodingNetwork Analysis	2014	11

Page 1