Miyuki Koshimura

49 papers A 5B 14Journal 10Unranked 20

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