| 2022 | PRICAI | Robust Weighted Partial Maximum Satisfiability Problem: Challenge to σ | Tomoya Sugahara, Kaito Yamashita, Nathanal Barrot, Miyuki Koshimura, Makoto Yokoo |
| 2020 | ACIIDS | A Simple yet Efficient MCSes Enumeration with SAT Oracles. | Miyuki Koshimura, Ken Satoh |
| 2020 | ICTAI | CNF Encodings for the Min-Max Multiple Traveling Salesmen Problem. | Aolong Zha, Rongxuan Gao, Qiong Chang, Miyuki Koshimura, Itsuki Noda |
| 2019 | PRICAI | Maximum Satisfiability Formulation for Optimal Scheduling in Overloaded Real-Time Systems. | Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Rong Huang, Wenxin Yu |
| 2019 | PRIMA | Solving Coalition Structure Generation Problems over Weighted Graph. | Emi Watanabe, Miyuki Koshimura, Yuko Sakurai, Makoto Yokoo |
| 2017 | ICTAI | Mixed Radix Weight Totalizer Encoding for Pseudo-Boolean Constraints. | Aolong Zha, Naoki Uemura, Miyuki Koshimura, Hiroshi Fujita |
| 2017 | PRIMA | Coalition Structure Generation for Partition Function Games Utilizing a Concise Graphical Representation. | Aolong Zha, Kazuki Nomoto, Suguru Ueda, Miyuki Koshimura, Yuko Sakurai, Makoto Yokoo |
| 2013 | ICTAI | Using MaxSAT to Correct Errors in AES Key Schedule Images. | Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa |
| 2013 | ICTAI | Modulo Based CNF Encoding of Cardinality Constraints and Its Application to MaxSAT Solvers. | Toru Ogawa, Yangyang Liu, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita |
| 2013 | SAT | SCSat: A Soft Constraint Guided SAT Solver. | Hiroshi Fujita, Miyuki Koshimura, Ryuzo Hasegawa |
| 2012 | GECCO | Hybrid particle swarm optimization and convergence analysis for scheduling problems. | Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa |
| 2012 | ICAART | Evaluating Reranking Methods based on Link Co-occurrence and Category in Wikipedia. | Yuichi Takiguchi, Koji Kurakado, Tetsuya Oishi, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa |
| 2012 | ICTAI | Solving the Coalition Structure Generation Problem with MaxSAT. | Xiaojuan Liao, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa |
| 2011 | GECCO | Combining PSO and local search to solve scheduling problems. | Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa |
| 2011 | ICAART | Evaluating Reranking Methods using Wikipedia Features. | Koji Kurakado, Tetsuya Oishi, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura |
| 2011 | ICAART | Trendspotter Detection System for Twitter. | Wataru Shirakihara, Tetsuya Oishi, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura |
| 2011 | TABLEAUX | QMaxSAT version 0.3 & 0.4. | Xuanye An, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa |
| 2010 | ICAART | Related Word Extraction from Wikipedia for Web Retrieval Assistance. | Kentaro Hori, Tetsuya Oishi, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura |
| 2009 | PRIMA | Related Word Extraction Algorithm for Query Expansion - An Evaluation. | Tetsuya Oishi, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura |
| 2008 | PRICAI | Personalized Search Using ODP-based User Profiles Created from User Bookmark. | Tetsuya Oishi, Yoshiaki Kambara, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura |
| 2004 | LPAR | Abstract Model Generation for Preprocessing Clause Sets. | Miyuki Koshimura, Mayumi Umeda, Ryuzo Hasegawa |
| 2001 | LPAR | Model Generation with Boolean Constraints. | Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa |
| 2000 | CADE | Efficient Minimal Model Generation Using Branching Lemmas. | Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura |
| 2000 | LPAR | Proof Simplification for Model Generation and Its Applications. | Miyuki Koshimura, Ryuzo Hasegawa |
| 2000 | PRICAI | Minimal Model Generation with Factorization and Constrained Search. | Miyuki Koshimura, Megumi Kita, Ryuzo Hasegawa |
| 1997 | CADE | Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving. | Ryuzo Hasegawa, Katsumi Inoue, Yoshihiko Ohta, Miyuki Koshimura |
| 1997 | TABLEAUX | MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications. | Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura |
| 1992 | CADE | MGTP: A Parallel Theorem Prover Based on Lazy Model Generation. | Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita |
| 1992 | CADE | Embedding Negation as Failure into a Model Generation Theorem Prover. | Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa |