( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Solving Open Job-Shop Scheduling Problems by SAT Encoding.

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

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.

Noboru Hasegawa

Masahito Hasegawa

Shuichi Hasegawa

 

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

Proof Simplification for Model Generation and Its Applications., и . LPAR, том 1955 из Lecture Notes in Computer Science, стр. 96-113. Springer, (2000)A continuation-based noninterruptible multithreading processor architecture., , , и . J. Supercomput., 47 (2): 228-252 (2009)QMaxSAT: A Partial Max-SAT Solver., , , и . J. Satisf. Boolean Model. Comput., 8 (1/2): 95-100 (2012)Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers., , и . IWAR, том A-19 из IFIP Transactions, стр. 221-238. North-Holland, (1992)Model Generation Theorem Provers on a Parallel Inference Machine., , , и . FGCS, стр. 357-375. IOS Press, (1992)MGTP: A Parallel Theorem Prover Based on Lazy Model Generation., , и . CADE, том 607 из Lecture Notes in Computer Science, стр. 776-780. Springer, (1992)Evaluating Reranking Methods using Wikipedia Features., , , , и . ICAART (1), стр. 376-381. SciTePress, (2011)The parallel logic programming system in the FGCS project and its future directions., , , , и . Parallel Comput., 25 (13-14): 1601-1633 (1999)On the Relationship Between Non-Horn Magic Sets and Relevancy Testing., , и . CADE, том 1421 из Lecture Notes in Computer Science, стр. 333-348. Springer, (1998)Problem-Solving and Inference Software.. FGCS, стр. 54-69. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)