Miyuki Koshimura

MaRDI QIDQ2009183zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Coalition structure generation for partition function games utilizing a concise graphical representation	2022-11-02	Paper
Impossibility of weakly stable and strategy-proof mechanism Economics Letters	2022-08-02	Paper
Concise integer linear programming formulation for clique partitioning problems Constraints	2022-07-07	Paper
A comparative analysis and improvement of MaxSAT encodings for coalition structure generation under MC-nets Journal Of Logic And Computation	2020-01-29	Paper
N-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT Constraints	2019-11-27	Paper
Improved WPM encoding for coalition structure generation under MC-nets Constraints	2019-10-25	Paper
Non-Horn magic sets to incorporate top-down inference into bottom-up theorem proving Automated Deduction—CADE-14	2019-10-01	Paper
MGTP: a model generation theorem prover. Its advanced features and applications Lecture Notes in Computer Science	2019-01-15	Paper
QMaxSAT: A partial Max-SAT solver Journal of Satisfiability, Boolean Modeling and Computation	2016-02-23	Paper
Model generation with Boolean constraints Logic for Programming, Artificial Intelligence, and Reasoning	2011-05-06	Paper
Logic for Programming, Artificial Intelligence, and Reasoning Lecture Notes in Computer Science	2005-11-10	Paper
scientific article; zbMATH DE number 1926637 (Why is no real title available?)	2003-06-11	Paper
scientific article; zbMATH DE number 1696761 (Why is no real title available?)	2002-07-22	Paper
scientific article; zbMATH DE number 1614696 (Why is no real title available?)	2001-07-05	Paper
scientific article; zbMATH DE number 1348475 (Why is no real title available?)	1999-10-10	Paper

Research outcomes over time

This page was built for person: Miyuki Koshimura