Login / Signup
Miyuki Koshimura
ORCID
Publication Activity (10 Years)
Years Active: 1992-2023
Publications (10 Years): 14
Top Topics
Maximum Satisfiability
Preemptive Scheduling
Sat Encodings
Coalition Structure Generation
Top Venues
IEICE Trans. Inf. Syst.
Constraints An Int. J.
PRICAI (1)
PRIMA
</>
Publications
</>