( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Hybrid Encoding of Pseudo-Boolean Constraints into CNF.

, , и . TAAI, стр. 9-12. IEEE Computer Society, (2017)

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

 

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

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.Model Generation with Boolean Constraints., , и . LPAR, том 2250 из Lecture Notes in Computer Science, стр. 299-308. Springer, (2001)A Hybrid Encoding of Pseudo-Boolean Constraints into CNF., , и . TAAI, стр. 9-12. IEEE Computer Society, (2017)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)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)Abstract Model Generation for Preprocessing Clause Sets., , и . LPAR, том 3452 из Lecture Notes in Computer Science, стр. 67-78. Springer, (2004)Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving., , , и . CADE, том 1249 из Lecture Notes in Computer Science, стр. 176-190. Springer, (1997)