Miyuki Koshimura

From MaRDI portal
Person:2009183

Available identifiers

zbMath Open koshimura.miyukiMaRDI QIDQ2009183

List of research outcomes





PublicationDate of PublicationType
Coalition structure generation for partition function games utilizing a concise graphical representation2022-11-02Paper
Impossibility of weakly stable and strategy-proof mechanism2022-08-02Paper
Concise integer linear programming formulation for clique partitioning problems2022-07-07Paper
A comparative analysis and improvement of MaxSAT encodings for coalition structure generation under MC-nets2020-01-29Paper
\(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT2019-11-27Paper
Improved WPM encoding for coalition structure generation under MC-nets2019-10-25Paper
Non-horn magic sets to incorporate top-down inference into bottom-up theorem proving2019-10-01Paper
MGTP: A model generation theorem prover — Its advanced features and applications —2019-01-15Paper
QMaxSAT: A partial Max-SAT solver2016-02-23Paper
Model Generation with Boolean Constraints2011-05-06Paper
Logic for Programming, Artificial Intelligence, and Reasoning2005-11-10Paper
https://portal.mardi4nfdi.de/entity/Q47077652003-06-11Paper
https://portal.mardi4nfdi.de/entity/Q27670112002-07-22Paper
https://portal.mardi4nfdi.de/entity/Q27234192001-07-05Paper
https://portal.mardi4nfdi.de/entity/Q42647291999-10-10Paper

Research outcomes over time

This page was built for person: Miyuki Koshimura

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2009183&oldid=6573341"
Powered by MediaWiki