Miyuki Koshimura

Orcid: 0000-0002-1561-406X

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Solving Restricted Preemptive Scheduling on Parallel Machines with SAT and PMS.
J. Univers. Comput. Sci., August, 2023

2022
Concise integer linear programming formulation for clique partitioning problems.
Constraints An Int. J., 2022

Robust Weighted Partial Maximum Satisfiability Problem: Challenge to σ<sub>2</sub><sup>P</sup>-Complete Problem.
Proceedings of the PRICAI 2022: Trends in Artificial Intelligence, 2022

2020
CNF Encodings for the Min-Max Multiple Traveling Salesmen Problem.
Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

A Simple yet Efficient MCSes Enumeration with SAT Oracles.
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.
J. Log. Comput., 2019

<i>N</i>-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT.
Constraints An Int. J., 2019

Improved WPM encoding for coalition structure generation under MC-nets.
Constraints An Int. J., 2019

Solving Coalition Structure Generation Problems over Weighted Graph.
Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

Maximum Satisfiability Formulation for Optimal Scheduling in Overloaded Real-Time Systems.
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

2017
A Hybrid Encoding of Pseudo-Boolean Constraints into CNF.
Proceedings of the Conference on Technologies and Applications of Artificial Intelligence, 2017

Coalition Structure Generation for Partition Function Games Utilizing a Concise Graphical Representation.
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.
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

2016
Reconstructing AES Key Schedule Images with SAT and MaxSAT.
IEICE Trans. Inf. Syst., 2016

2014
Extending MaxSAT to Solve the Coalition Structure Generation Problem with Externalities Based on Agent Relations.
IEICE Trans. Inf. Syst., 2014

MaxSAT Encoding for MC-Net-Based Coalition Structure Generation Problem with Externalities.
IEICE Trans. Inf. Syst., 2014

2013
SCSat: A Soft Constraint Guided SAT Solver.
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.
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Using MaxSAT to Correct Errors in AES Key Schedule Images.
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012
QMaxSAT: A Partial Max-SAT Solver.
J. Satisf. Boolean Model. Comput., 2012

Solving the Coalition Structure Generation Problem with MaxSAT.
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.
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.
Proceedings of the Genetic and Evolutionary Computation Conference, 2012

2011
QMaxSAT version 0.3 & 0.4.
Proceedings of the TABLEAUX 2011, 2011

Trendspotter Detection System for Twitter.
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.
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.
Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011

An efficient hybrid particle swarm optimization for the Job Shop Scheduling Problem.
Proceedings of the FUZZ-IEEE 2011, 2011

2010
Solving Open Job-Shop Scheduling Problems by SAT Encoding.
IEICE Trans. Inf. Syst., 2010

A Multi-Layer Hybrid Particle Swarm Optimization Model for Flow Shop Scheduling Problem.
Aust. J. Intell. Inf. Process. Syst., 2010

Related Word Extraction from Wikipedia for Web Retrieval Assistance.
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.
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.
Proceedings of the Advances in Practical Multi-Agent Systems, 2009

Minimal Model Generation with Respect to an Atom Set.
Proceedings of the 7th International Workshop on First-Order Theorem Proving, 2009

2008
Personalized Search Using ODP-based User Profiles Created from User Bookmark.
Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

A Method for Query Expansion Using the Related Word Extraction Algorithm.
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.
Proceedings of the 2007 IEEE / WIC / ACM International Conference on Web Intelligence, 2007

2004
Abstract Model Generation for Preprocessing Clause Sets.
Proceedings of the Logic for Programming, 2004

2002
A Model Generation Based Theorem Prover MGTP for First-Order Logic.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001
Model Generation with Boolean Constraints.
Proceedings of the Logic for Programming, 2001

2000
Minimal Model Generation with Factorization and Constrained Search.
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.
Proceedings of the Logic for Programming and Automated Reasoning, 2000

Efficient Minimal Model Generation Using Branching Lemmas.
Proceedings of the Automated Deduction, 2000

1997
MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications.
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.
Proceedings of the Automated Deduction, 1997

1994
An AND Parallelization Method for MGTP and Its Evaluation.
Proceedings of the First International Symposium on Parallel Symbolic Computation, 1994

1992
Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers.
Proceedings of the Automated Reasoning, 1992

Model Generation Theorem Provers on a Parallel Inference Machine.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Embedding Negation as Failure into a Model Generation Theorem Prover.
Proceedings of the Automated Deduction, 1992

MGTP: A Parallel Theorem Prover Based on Lazy Model Generation.
Proceedings of the Automated Deduction, 1992


  Loading...