Miyuki Koshimura

According to our database, Miyuki Koshimura authored at least 50 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Solving Restricted Preemptive Scheduling on Parallel Machines with SAT and PMS.

Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Rong Huang, Fagen Li

J. Univers. Comput. Sci., August, 2023

2022

Concise integer linear programming formulation for clique partitioning problems.

Miyuki Koshimura, Emi Watanabe, Yuko Sakurai, Makoto Yokoo

Constraints An Int. J., 2022

Robust Weighted Partial Maximum Satisfiability Problem: Challenge to σ₂^P-Complete Problem.

Tomoya Sugahara, Kaito Yamashita, Nathanaël Barrot, Miyuki Koshimura, Makoto Yokoo

Proceedings of the PRICAI 2022: Trends in Artificial Intelligence, 2022

2020

CNF Encodings for the Min-Max Multiple Traveling Salesmen Problem.

Aolong Zha, Rongxuan Gao, Qiong Chang, Miyuki Koshimura, Itsuki Noda

Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

A Simple yet Efficient MCSes Enumeration with SAT Oracles.

Miyuki Koshimura, Ken Satoh

Proceedings of the Intelligent Information and Database Systems - 12th Asian Conference, 2020

2019

A comparative analysis and improvement of MaxSAT encodings for coalition structure generation under MC-nets.

Xiaojuan Liao, Miyuki Koshimura

J. Log. Comput., 2019

<i>N</i>-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT.

Aolong Zha, Miyuki Koshimura, Hiroshi Fujita

Constraints An Int. J., 2019

Improved WPM encoding for coalition structure generation under MC-nets.

Xiaojuan Liao, Miyuki Koshimura, Kazuki Nomoto, Suguru Ueda, Yuko Sakurai, Makoto Yokoo

Constraints An Int. J., 2019

Solving Coalition Structure Generation Problems over Weighted Graph.

Emi Watanabe, Miyuki Koshimura, Yuko Sakurai, Makoto Yokoo

Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

Maximum Satisfiability Formulation for Optimal Scheduling in Overloaded Real-Time Systems.

Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Rong Huang, Wenxin Yu

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

2017

A Hybrid Encoding of Pseudo-Boolean Constraints into CNF.

Aolong Zha, Miyuki Koshimura, Hiroshi Fujita

Proceedings of the Conference on Technologies and Applications of Artificial Intelligence, 2017

Coalition Structure Generation for Partition Function Games Utilizing a Concise Graphical Representation.

Aolong Zha, Kazuki Nomoto, Suguru Ueda, Miyuki Koshimura, Yuko Sakurai, Makoto Yokoo

Proceedings of the PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30, 2017

Mixed Radix Weight Totalizer Encoding for Pseudo-Boolean Constraints.

Aolong Zha, Naoki Uemura, Miyuki Koshimura, Hiroshi Fujita

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

2016

Reconstructing AES Key Schedule Images with SAT and MaxSAT.

Xiaojuan Liao, Hui Zhang, Miyuki Koshimura

IEICE Trans. Inf. Syst., 2016

2014

Extending MaxSAT to Solve the Coalition Structure Generation Problem with Externalities Based on Agent Relations.

Xiaojuan Liao, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

IEICE Trans. Inf. Syst., 2014

MaxSAT Encoding for MC-Net-Based Coalition Structure Generation Problem with Externalities.

Xiaojuan Liao, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

IEICE Trans. Inf. Syst., 2014

2013

SCSat: A Soft Constraint Guided SAT Solver.

Hiroshi Fujita, Miyuki Koshimura, Ryuzo Hasegawa

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

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

Toru Ogawa, Yangyang Liu, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Using MaxSAT to Correct Errors in AES Key Schedule Images.

Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012

QMaxSAT: A Partial Max-SAT Solver.

Miyuki Koshimura, Tong Zhang, Hiroshi Fujita, Ryuzo Hasegawa

J. Satisf. Boolean Model. Comput., 2012

Solving the Coalition Structure Generation Problem with MaxSAT.

Xiaojuan Liao, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Evaluating Reranking Methods based on Link Co-occurrence and Category in Wikipedia.

Yuichi Takiguchi, Koji Kurakado, Tetsuya Oishi, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 1, 2012

Hybrid particle swarm optimization and convergence analysis for scheduling problems.

Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

Proceedings of the Genetic and Evolutionary Computation Conference, 2012

2011

QMaxSAT version 0.3 & 0.4.

Xuanye An, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

Proceedings of the TABLEAUX 2011, 2011

Trendspotter Detection System for Twitter.

Wataru Shirakihara, Tetsuya Oishi, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura

Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1, 2011

Evaluating Reranking Methods using Wikipedia Features.

Koji Kurakado, Tetsuya Oishi, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura

Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1, 2011

Combining PSO and local search to solve scheduling problems.

Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011

An efficient hybrid particle swarm optimization for the Job Shop Scheduling Problem.

Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

Proceedings of the FUZZ-IEEE 2011, 2011

2010

Solving Open Job-Shop Scheduling Problems by SAT Encoding.

Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita, Ryuzo Hasegawa

IEICE Trans. Inf. Syst., 2010

A Multi-Layer Hybrid Particle Swarm Optimization Model for Flow Shop Scheduling Problem.

Xue-Feng Zhang, Bin Tong, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

Aust. J. Intell. Inf. Process. Syst., 2010

Related Word Extraction from Wikipedia for Web Retrieval Assistance.

Kentaro Hori, Tetsuya Oishi, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura

Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2, 2010

Rule Extraction from Blog Using Inductive Logic Programming.

Noriaki Chikara, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, Toronto, Canada, August 31, 2010

2009

Related Word Extraction Algorithm for Query Expansion - An Evaluation.

Tetsuya Oishi, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura

Proceedings of the Advances in Practical Multi-Agent Systems, 2009

Minimal Model Generation with Respect to an Atom Set.

Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita, Ryuzo Hasegawa

Proceedings of the 7th International Workshop on First-Order Theorem Proving, 2009

2008

Personalized Search Using ODP-based User Profiles Created from User Bookmark.

Tetsuya Oishi, Yoshiaki Kambara, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura

Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

A Method for Query Expansion Using the Related Word Extraction Algorithm.

Tetsuya Oishi, Shunsuke Kuramoto, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura

Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2008

2007

User-Schedule-based Web Page Recommendation.

Tetsuya Oishi, Shunsuke Kuramoto, Hiroto Nagata, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura

Proceedings of the 2007 IEEE / WIC / ACM International Conference on Web Intelligence, 2007

2004

Abstract Model Generation for Preprocessing Clause Sets.

Miyuki Koshimura, Mayumi Umeda, Ryuzo Hasegawa

Proceedings of the Logic for Programming, 2004

2002

A Model Generation Based Theorem Prover MGTP for First-Order Logic.

Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, Yasuyuki Shirai

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001

Model Generation with Boolean Constraints.

Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa

Proceedings of the Logic for Programming, 2001

2000

Minimal Model Generation with Factorization and Constrained Search.

Miyuki Koshimura, Megumi Kita, Ryuzo Hasegawa

Proceedings of the PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28, 2000

Proof Simplification for Model Generation and Its Applications.

Miyuki Koshimura, Ryuzo Hasegawa

Proceedings of the Logic for Programming and Automated Reasoning, 2000

Efficient Minimal Model Generation Using Branching Lemmas.

Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura

Proceedings of the Automated Deduction, 2000

1997

MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications.

Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving.

Ryuzo Hasegawa, Katsumi Inoue, Yoshihiko Ohta, Miyuki Koshimura

Proceedings of the Automated Deduction, 1997

1994

An AND Parallelization Method for MGTP and Its Evaluation.

Ryuzo Hasegawa, Miyuki Koshimura

Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994

1992

Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers.

Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita

Proceedings of the Automated Reasoning, 1992

Model Generation Theorem Provers on a Parallel Inference Machine.

Masayuki Fujita, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Embedding Negation as Failure into a Model Generation Theorem Prover.

Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa

Proceedings of the Automated Deduction, 1992

MGTP: A Parallel Theorem Prover Based on Lazy Model Generation.

Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita

Proceedings of the Automated Deduction, 1992