Naoyuki Tamura

According to our database, Naoyuki Tamura authored at least 45 papers between 1984 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2023

Solving Vehicle Equipment Specification Problems with Answer Set Programming.

Raito Takeuchi, Mutsunori Banbara, Naoyuki Tamura, Torsten Schaub

Proceedings of the Practical Aspects of Declarative Languages, 2023

Hamiltonian Cycle Reconfiguration with Answer Set Programming.

Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks.

Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura

Proceedings of the Computational Methods in Systems Biology, 2023

SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks.

Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura

Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies, 2023

2019

teaspoon : solving the curriculum-based course timetabling problems with answer set programming.

Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko

Ann. Oper. Res., 2019

2017

Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings.

Takehide Soh, Mutsunori Banbara, Naoyuki Tamura

Int. J. Artif. Intell. Tools, 2017

catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming.

Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation.

Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre

Proceedings of the Principles and Practice of Constraint Programming, 2017

2015

aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.

Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings.

Takehide Soh, Mutsunori Banbara, Naoyuki Tamura

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

2014

Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem.

Takehide Soh, Daniel Le Berre, Stéphanie Roussel, Mutsunori Banbara, Naoyuki Tamura

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2013

Answer set programming as a modeling language for course timetabling.

Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub

Theory Pract. Log. Program., 2013

Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.

Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise

CoRR, 2013

Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems.

Takehide Soh, Naoyuki Tamura, Mutsunori Banbara

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

Compiling Pseudo-Boolean Constraints to SAT with Order Encoding.

Naoyuki Tamura, Mutsunori Banbara, Takehide Soh

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012

Azucar: A SAT-Based CSP Solver Using Compact Order Encoding - (Tool Presentation).

Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix.

Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2011

A Compact and Efficient SAT-Encoding of Finite Domain CSP.

Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

2010

A SAT-based Method for Solving the Two-dimensional Strip Packing Problem.

Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima

Fundam. Informaticae, 2010

Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers.

Mutsunori Banbara, Haruki Matsunaka, Naoyuki Tamura, Katsumi Inoue

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Solving Constraint Satisfaction Problems with SAT Technology.

Naoyuki Tamura, Tomoya Tanjo, Mutsunori Banbara

Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

2009

Compiling finite linear CSP into SAT.

Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara

Constraints An Int. J., 2009

2007

Low Cost Rendering Method for Virtual Factory Considering Interpolation of Occluded Objects.

Hiroki Takahashi, Naoyuki Tamura, Toshihiko Furue, Osamu Yoshie

J. Mobile Multimedia, 2007

2006

A competitive and cooperative approach to propositional satisfiability.

Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara, Naoyuki Tamura

Discret. Appl. Math., 2006

2005

Calc/Cream: OpenOffice Spreadsheet Front-End for Constraint Programming.

Naoyuki Tamura

Proceedings of the Declarative Programming for Knowledge Management, 2005

Prolog Cafe : A Prolog to Java Translator System.

Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue

Proceedings of the Declarative Programming for Knowledge Management, 2005

2003

Efficient Represenation of Discrete Sets for Constraint Programming.

Shuji Ohnishi, Hiroaki Tasaka, Naoyuki Tamura

Proceedings of the Principles and Practice of Constraint Programming, 2003

2001

Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic.

Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura

Proceedings of the Logic Programming, 17th International Conference, 2001

lolliCop - A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic.

Joshua S. Hodas, Naoyuki Tamura

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

1999

A Static Analysis Method for a Classical Linear Logic Programming Language.

Kyoung-Sun Kang, Naoyuki Tamura

Proceedings of the Parallelism and Implementation Technology for (Constraint) Logic Programming, 1999

Translating a Linear Logic Programming Language into Java.

Mutsunori Banbara, Naoyuki Tamura

Proceedings of the Parallelism and Implementation Technology for (Constraint) Logic Programming, 1999

A Static Analysis for Classical Linear Logic Programming Language.

Kyoung-Sun Kang, Naoyuki Tamura

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

1998

VSOP fuzzy numbers and their fuzzy ordering.

Kiyomitsu Horiuchi, Naoyuki Tamura

Fuzzy Sets Syst., 1998

Efficient Implementation of a Linear Logic Programming Language.

Joshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Kyoung-Sun Kang

Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

Compiling Resources in a Linear Logic Programming Language.

Mutsunori Banbara, Naoyuki Tamura

Proceedings of the International Workshop on Implementation Technology for Programming Languages based on Logic, 1998

1996

Resource Management Method for a Compiler System of a Linear Logic Programming Language (Poster Abstract).

Naoyuki Tamura, Yukio Kaneda

Proceedings of the Logic Programming, 1996

1991

Lazy Evaluation of Reference on a Packed Shared Forest without Unpacking.

Naoyuki Tamura, Marco J. W. Bos, H. Murakami, Osamu Nishida, Takehiko Yoshimi, Jirí Jelínek

Proceedings of the Natural Language Understanding and Logic Programming, 1991

1990

Japanese-to-English Project PROTRAN & TWINTRAN.

Jirí Jelínek, Graham Wilcock, Osamu Nishida, Takehiko Yoshimi, Marco J. W. Bos, Naoyuki Tamura, H. Murakami

Proceedings of the 13th International Conference on Computational Linguistics, 1990

1987

Introduction of a Package System into Prolog.

Hiroaki Etoh, Naoyuki Tamura, Yasuo Asakawa, Toshiyuki Hama, Hideaki Komatsu

Proceedings of the Logic Programming '87, 1987

1986

Sequential Prolog Machine PEK.

Yukio Kaneda, Naoyuki Tamura, Koichi Wada, Hideo Matsuda, Shumin Kuo, Sadao Maekawa

New Gener. Comput., 1986

An Optimizing Prolog Compiler.

Hideaki Komatsu, Naoyuki Tamura, Yasuo Asakawa, Toshiaki Kurokawa

Proceedings of the Logic Programming '86, 1986

Knowledge-Based Optimization in Prolog Compiler.

Naoyuki Tamura

Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986

A Very Fast Prolog Complier on Multiple Architectures.

Toshiaki Kurokawa, Naoyuki Tamura, Yasuo Asakawa, Hideaki Komatsu

Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986

1984

Implementing Parallel Prolog on a Multiprocessor Machine.

Naoyuki Tamura, Yukio Kaneda

Proceedings of the 1984 International Symposium on Logic Programming, 1984

Sequential Prolog Machine PEK.

Naoyuki Tamura, Koichi Wada, Hideo Matsuda, Yukio Kaneda, Sadao Maekawa

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984