( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Compiling Pseudo-Boolean Constraints to SAT with Order Encoding.

, , и . ICTAI, стр. 1020-1027. IEEE Computer Society, (2013)

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.

Claudia Tamura

Ichiro Tamura

Hitoshi Tamura

Naoki Tamura

Gabriel Tamura

 

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

The Subaru FMOS Galaxy Redshift Survey (FastSound). III. The mass-metallicity relation and the fundamental metallicity relation at $z\sim1.4$, , , , , , , , , и 6 other автор(ы). (2015)cite arxiv:1508.01512Comment: 14 pages, 10 figures, 2 tables, accepted for publication in PASJ.Compiling Resources in a Linear Logic Programming Language., и . Implementation Technology for Programming Languages based on Logic, стр. 32-45. (1998)An Optimizing Prolog Compiler., , , и . LP, том 264 из Lecture Notes in Computer Science, стр. 104-115. Springer, (1986)Calc/Cream: OpenOffice Spreadsheet Front-End for Constraint Programming.. INAP, том 4369 из Lecture Notes in Computer Science, стр. 81-87. Springer, (2005)lolliCop - A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic., и . IJCAR, том 2083 из Lecture Notes in Computer Science, стр. 670-684. Springer, (2001)Azucar: A SAT-Based CSP Solver Using Compact Order Encoding - (Tool Presentation)., , и . SAT, том 7317 из Lecture Notes in Computer Science, стр. 456-462. Springer, (2012)SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks., , , , и . BIOINFORMATICS, стр. 163-174. SCITEPRESS, (2023)Japanese-to-English Project PROTRAN & TWINTRAN., , , , , , и . COLING, стр. 50-52. (1990)Hamiltonian Cycle Reconfiguration with Answer Set Programming., , , , , , , и . JELIA, том 14281 из Lecture Notes in Computer Science, стр. 262-277. Springer, (2023)SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks., , , , и . CMSB, том 14137 из Lecture Notes in Computer Science, стр. 175-183. Springer, (2023)