( en | de | ru )

 

Disambiguierung von "Koshimura, Miyuki"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Solving Open Job-Shop Scheduling Problems by SAT Encoding.

, , , und . IEICE Trans. Inf. Syst., 93-D (8): 2316-2318 (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Miyuki Ozeki

Miyuki Maekawa

 

Weitere Publikationen von Autoren mit dem selben Namen

Proof Simplification for Model Generation and Its Applications., und . LPAR, Volume 1955 von Lecture Notes in Computer Science, Seite 96-113. Springer, (2000)QMaxSAT: A Partial Max-SAT Solver., , , und . J. Satisf. Boolean Model. Comput., 8 (1/2): 95-100 (2012)CNF Encodings for the Min-Max Multiple Traveling Salesmen Problem., , , , und . ICTAI, Seite 285-292. IEEE, (2020)Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers., , und . IWAR, Volume A-19 von IFIP Transactions, Seite 221-238. North-Holland, (1992)Model Generation Theorem Provers on a Parallel Inference Machine., , , und . FGCS, Seite 357-375. IOS Press, (1992)MGTP: A Parallel Theorem Prover Based on Lazy Model Generation., , und . CADE, Volume 607 von Lecture Notes in Computer Science, Seite 776-780. Springer, (1992)Evaluating Reranking Methods using Wikipedia Features., , , , und . ICAART (1), Seite 376-381. SciTePress, (2011)N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT., , und . Constraints An Int. J., 24 (2): 133-161 (2019)MaxSAT Encoding for MC-Net-Based Coalition Structure Generation Problem with Externalities., , , und . IEICE Trans. Inf. Syst., 97-D (7): 1781-1789 (2014)A comparative analysis and improvement of MaxSAT encodings for coalition structure generation under MC-nets., und . J. Log. Comput., 29 (6): 913-931 (2019)