Naoyuki Tamura

Naoyuki Tamura

Kobe University - Kobe / Japan
Engineering & Technology / Computer Science
AD Scientific Index ID: 425179
神戸大学
person_outline Naoyuki Tamura's MOST POPULAR ARTICLES
1-) Compiling finite linear CSP into SATN Tamura, A Taga, S Kitagawa, M BanbaraConstraints 14 (2), 254-272, 20092522009
2-) Sugar: A CSP to SAT translator based on order encodingN Tamura, M BanbaraProceedings of the Second International CSP Solver Competition, 65-69, 2008812008
3-) Generating combinatorial test cases by efficient SAT encodings suitable for CDCL SAT solversM Banbara, H Matsunaka, N Tamura, K InoueLogic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010782010
4-) SAT ソルバーの基礎 (< 特集> 最近の SAT 技術の発展)井上克巳， 田村直之人工知能 25 (1), 57-67, 201077*2010
5-) Compiling finite linear CSP into SATN Tamura, A Taga, S Kitagawa, M BanbaraPrinciples and Practice of Constraint Programming-CP 2006: 12th …, 2006722006