Miyuki Koshimura

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 14

Top Topics

Maximum Satisfiability

Preemptive Scheduling

Coalition Structure Generation

Top Venues

IEICE Trans. Inf. Syst.

Constraints An Int. J.

Publications

Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Rong Huang, Fagen Li
Solving Restricted Preemptive Scheduling on Parallel Machines with SAT and PMS. J. Univers. Comput. Sci. 29 (8) (2023)
Tomoya Sugahara, Kaito Yamashita, Nathanaël Barrot, Miyuki Koshimura, Makoto Yokoo
-Complete Problem. PRICAI (1) (2022)
Miyuki Koshimura, Emi Watanabe, Yuko Sakurai, Makoto Yokoo
Concise integer linear programming formulation for clique partitioning problems. Constraints An Int. J. 27 (1-2) (2022)
Aolong Zha, Rongxuan Gao, Qiong Chang, Miyuki Koshimura, Itsuki Noda
CNF Encodings for the Min-Max Multiple Traveling Salesmen Problem. ICTAI (2020)
Miyuki Koshimura, Ken Satoh
A Simple yet Efficient MCSes Enumeration with SAT Oracles. ACIIDS (1) (2020)
Emi Watanabe, Miyuki Koshimura, Yuko Sakurai, Makoto Yokoo
Solving Coalition Structure Generation Problems over Weighted Graph. PRIMA (2019)
Xiaojuan Liao, Miyuki Koshimura, Kazuki Nomoto, Suguru Ueda, Yuko Sakurai, Makoto Yokoo
Improved WPM encoding for coalition structure generation under MC-nets. Constraints An Int. J. 24 (1) (2019)
Aolong Zha, Miyuki Koshimura, Hiroshi Fujita
-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT. Constraints An Int. J. 24 (2) (2019)
Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Rong Huang, Wenxin Yu
Maximum Satisfiability Formulation for Optimal Scheduling in Overloaded Real-Time Systems. PRICAI (1) (2019)
Xiaojuan Liao, Miyuki Koshimura
A comparative analysis and improvement of MaxSAT encodings for coalition structure generation under MC-nets. J. Log. Comput. 29 (6) (2019)
Aolong Zha, Naoki Uemura, Miyuki Koshimura, Hiroshi Fujita
Mixed Radix Weight Totalizer Encoding for Pseudo-Boolean Constraints. ICTAI (2017)
Aolong Zha, Miyuki Koshimura, Hiroshi Fujita
A Hybrid Encoding of Pseudo-Boolean Constraints into CNF. TAAI (2017)
Aolong Zha, Kazuki Nomoto, Suguru Ueda, Miyuki Koshimura, Yuko Sakurai, Makoto Yokoo
Coalition Structure Generation for Partition Function Games Utilizing a Concise Graphical Representation. PRIMA (2017)
Xiaojuan Liao, Hui Zhang, Miyuki Koshimura
Reconstructing AES Key Schedule Images with SAT and MaxSAT. IEICE Trans. Inf. Syst. (1) (2016)
Xiaojuan Liao, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
MaxSAT Encoding for MC-Net-Based Coalition Structure Generation Problem with Externalities. IEICE Trans. Inf. Syst. (7) (2014)
Xiaojuan Liao, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
Extending MaxSAT to Solve the Coalition Structure Generation Problem with Externalities Based on Agent Relations. IEICE Trans. Inf. Syst. (7) (2014)
Hiroshi Fujita, Miyuki Koshimura, Ryuzo Hasegawa
SCSat: A Soft Constraint Guided SAT Solver. SAT (2013)
Toru Ogawa, Yangyang Liu, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita
Modulo Based CNF Encoding of Cardinality Constraints and Its Application to MaxSAT Solvers. ICTAI (2013)
Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
Using MaxSAT to Correct Errors in AES Key Schedule Images. ICTAI (2013)
Xiaojuan Liao, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
Solving the Coalition Structure Generation Problem with MaxSAT. ICTAI (2012)
Yuichi Takiguchi, Koji Kurakado, Tetsuya Oishi, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
Evaluating Reranking Methods based on Link Co-occurrence and Category in Wikipedia. ICAART (1) (2012)
Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
Hybrid particle swarm optimization and convergence analysis for scheduling problems. GECCO (Companion) (2012)
Miyuki Koshimura, Tong Zhang, Hiroshi Fujita, Ryuzo Hasegawa
QMaxSAT: A Partial Max-SAT Solver. J. Satisf. Boolean Model. Comput. 8 (1/2) (2012)
Koji Kurakado, Tetsuya Oishi, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
Evaluating Reranking Methods using Wikipedia Features. ICAART (1) (2011)
Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
An efficient hybrid particle swarm optimization for the Job Shop Scheduling Problem. FUZZ-IEEE (2011)
Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
Combining PSO and local search to solve scheduling problems. GECCO (Companion) (2011)
Wataru Shirakihara, Tetsuya Oishi, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
Trendspotter Detection System for Twitter. ICAART (1) (2011)
Xuanye An, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
QMaxSAT version 0.3 & 0.4. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Kentaro Hori, Tetsuya Oishi, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
Related Word Extraction from Wikipedia for Web Retrieval Assistance. ICAART (2) (2010)
Xue-Feng Zhang, Bin Tong, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
A Multi-Layer Hybrid Particle Swarm Optimization Model for Flow Shop Scheduling Problem. Aust. J. Intell. Inf. Process. Syst. 12 (4) (2010)
Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita, Ryuzo Hasegawa
Solving Open Job-Shop Scheduling Problems by SAT Encoding. IEICE Trans. Inf. Syst. (8) (2010)
Noriaki Chikara, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
Rule Extraction from Blog Using Inductive Logic Programming. Web Intelligence/IAT Workshops (2010)
Tetsuya Oishi, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
Related Word Extraction Algorithm for Query Expansion - An Evaluation. PRIMA Workshops (2009)
Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita, Ryuzo Hasegawa
Minimal Model Generation with Respect to an Atom Set. FTP (2009)
Tetsuya Oishi, Yoshiaki Kambara, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
Personalized Search Using ODP-based User Profiles Created from User Bookmark. PRICAI (2008)
Tetsuya Oishi, Shunsuke Kuramoto, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
A Method for Query Expansion Using the Related Word Extraction Algorithm. Web Intelligence/IAT Workshops (2008)
Tetsuya Oishi, Shunsuke Kuramoto, Hiroto Nagata, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
User-Schedule-based Web Page Recommendation. Web Intelligence (2007)
Miyuki Koshimura, Mayumi Umeda, Ryuzo Hasegawa
Abstract Model Generation for Preprocessing Clause Sets. LPAR (2004)
Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, Yasuyuki Shirai
A Model Generation Based Theorem Prover MGTP for First-Order Logic. Computational Logic: Logic Programming and Beyond (2002)
Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
Model Generation with Boolean Constraints. LPAR (2001)
Miyuki Koshimura, Megumi Kita, Ryuzo Hasegawa
Minimal Model Generation with Factorization and Constrained Search. PRICAI (2000)
Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
Efficient Minimal Model Generation Using Branching Lemmas. CADE (2000)
Miyuki Koshimura, Ryuzo Hasegawa
Proof Simplification for Model Generation and Its Applications. LPAR (2000)
Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura
MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications. TABLEAUX (1997)
Ryuzo Hasegawa, Katsumi Inoue, Yoshihiko Ohta, Miyuki Koshimura
Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving. CADE (1997)
Ryuzo Hasegawa, Miyuki Koshimura
An AND Parallelization Method for MGTP and Its Evaluation. PASCO (1994)
Masayuki Fujita, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita
Model Generation Theorem Provers on a Parallel Inference Machine. FGCS (1992)
Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita
MGTP: A Parallel Theorem Prover Based on Lazy Model Generation. CADE (1992)
Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa
Embedding Negation as Failure into a Model Generation Theorem Prover. CADE (1992)
Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita
Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers. IWAR (1992)