( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
CNF Encodings for the Min-Max Multiple Traveling Salesmen Problem.

, , , , и . ICTAI, стр. 285-292. IEEE, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Miyuki Ozeki

Miyuki Maekawa

 

Другие публикации лиц с тем же именем

Model Generation with Boolean Constraints., , и . LPAR, том 2250 из Lecture Notes in Computer Science, стр. 299-308. Springer, (2001)A Method for Query Expansion Using the Related Word Extraction Algorithm., , , , , и . Web Intelligence/IAT Workshops, стр. 41-44. IEEE Computer Society, (2008)978-0-7695-3496-1.MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications., , и . TABLEAUX, том 1227 из Lecture Notes in Computer Science, стр. 1-15. Springer, (1997)A Model Generation Based Theorem Prover MGTP for First-Order Logic., , , и . Computational Logic: Logic Programming and Beyond, том 2408 из Lecture Notes in Computer Science, стр. 178-213. Springer, (2002)Efficient Minimal Model Generation Using Branching Lemmas., , и . CADE, том 1831 из Lecture Notes in Computer Science, стр. 184-199. Springer, (2000)A Hybrid Encoding of Pseudo-Boolean Constraints into CNF., , и . TAAI, стр. 9-12. IEEE Computer Society, (2017)Coalition Structure Generation for Partition Function Games Utilizing a Concise Graphical Representation., , , , , и . PRIMA, том 10621 из Lecture Notes in Computer Science, стр. 143-159. Springer, (2017)Robust Weighted Partial Maximum Satisfiability Problem: Challenge to σ2P-Complete Problem., , , , и . PRICAI (1), том 13629 из Lecture Notes in Computer Science, стр. 17-31. Springer, (2022)Proof Simplification for Model Generation and Its Applications., и . LPAR, том 1955 из Lecture Notes in Computer Science, стр. 96-113. Springer, (2000)CNF Encodings for the Min-Max Multiple Traveling Salesmen Problem., , , , и . ICTAI, стр. 285-292. IEEE, (2020)