Naoyuki Tamura

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 9

Top Topics

Causal Theories

Answer Set Programming

Disjunctive Logic Programming

Solving Constraint Satisfaction Problems

Top Venues

Publications

Irumi Sugimori, Katsumi Inoue, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming. CoRR (2024)
Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks. CMSB (2023)
Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura
SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks. BIOINFORMATICS (2023)
Raito Takeuchi, Mutsunori Banbara, Naoyuki Tamura, Torsten Schaub
Solving Vehicle Equipment Specification Problems with Answer Set Programming. PADL (2023)
Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura
Hamiltonian Cycle Reconfiguration with Answer Set Programming. JELIA (2023)
Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
teaspoon : solving the curriculum-based course timetabling problems with answer set programming. Ann. Oper. Res. 275 (1) (2019)
Takehide Soh, Mutsunori Banbara, Naoyuki Tamura
Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings. Int. J. Artif. Intell. Tools 26 (1) (2017)
Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre
Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation. CP (2017)
Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura
catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming. LPNMR (2017)
Takehide Soh, Mutsunori Banbara, Naoyuki Tamura
A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings. ICTAI (2015)
Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Max Ostrowski, Andrea Peano, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise
aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. LPNMR (2015)
Takehide Soh, Daniel Le Berre, Stéphanie Roussel, Mutsunori Banbara, Naoyuki Tamura
Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem. JELIA (2014)
Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub
Answer set programming as a modeling language for course timetabling. Theory Pract. Log. Program. 13 (4-5) (2013)
Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise
Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. CoRR (2013)
Takehide Soh, Naoyuki Tamura, Mutsunori Banbara
Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems. SAT (2013)
Naoyuki Tamura, Mutsunori Banbara, Takehide Soh
Compiling Pseudo-Boolean Constraints to SAT with Order Encoding. ICTAI (2013)
Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix. ICLP (Technical Communications) (2012)
Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara
Azucar: A SAT-Based CSP Solver Using Compact Order Encoding - (Tool Presentation). SAT (2012)
Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara
A Compact and Efficient SAT-Encoding of Finite Domain CSP. SAT (2011)
Naoyuki Tamura, Tomoya Tanjo, Mutsunori Banbara
Solving Constraint Satisfaction Problems with SAT Technology. FLOPS (2010)
Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima
A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. Fundam. Informaticae 102 (3-4) (2010)
Mutsunori Banbara, Haruki Matsunaka, Naoyuki Tamura, Katsumi Inoue
Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers. LPAR (Yogyakarta) (2010)
Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara
Compiling finite linear CSP into SAT. Constraints An Int. J. 14 (2) (2009)
Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima
A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. RCRA (2008)
Hiroki Takahashi, Naoyuki Tamura, Toshihiko Furue, Osamu Yoshie
Low Cost Rendering Method for Virtual Factory Considering Interpolation of Occluded Objects. J. Mobile Multimedia 3 (3) (2007)
Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara
Compiling Finite Linear CSP into SAT. CP (2006)
Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara, Naoyuki Tamura
A competitive and cooperative approach to propositional satisfiability. Discret. Appl. Math. 154 (16) (2006)
Hiroki Takahashi, Naoyuki Tamura, Toshihiko Furue, Osamu Yoshie
Low Cost Rendering Method for Virtual Factory Considering Interpolation of Occluded Objects. MoMM (2006)
Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
Prolog Cafe : A Prolog to Java Translator System. INAP (2005)
Naoyuki Tamura
Calc/Cream: OpenOffice Spreadsheet Front-End for Constraint Programming. INAP (2005)
Shuji Ohnishi, Hiroaki Tasaka, Naoyuki Tamura
Efficient Represenation of Discrete Sets for Constraint Programming. CP (2003)
Joshua S. Hodas, Naoyuki Tamura
lolliCop - A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic. IJCAR (2001)
Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura
Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic. ICLP (2001)
Kyoung-Sun Kang, Naoyuki Tamura
A Static Analysis Method for a Classical Linear Logic Programming Language. Electron. Notes Theor. Comput. Sci. 30 (3) (1999)
Mutsunori Banbara, Naoyuki Tamura
Translating a Linear Logic Programming Language into Java. Electron. Notes Theor. Comput. Sci. 30 (3) (1999)
Kyoung-Sun Kang, Naoyuki Tamura
A Static Analysis for Classical Linear Logic Programming Language. ICLP (1999)
Kiyomitsu Horiuchi, Naoyuki Tamura
VSOP fuzzy numbers and their fuzzy ordering. Fuzzy Sets Syst. 93 (2) (1998)
Mutsunori Banbara, Naoyuki Tamura
Compiling Resources in a Linear Logic Programming Language. Implementation Technology for Programming Languages based on Logic (1998)
Joshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Kyoung-Sun Kang
Efficient Implementation of a Linear Logic Programming Language. IJCSLP (1998)
Naoyuki Tamura, Yukio Kaneda
Resource Management Method for a Compiler System of a Linear Logic Programming Language (Poster Abstract). JICSLP (1996)
Naoyuki Tamura, Marco J. W. Bos, H. Murakami, Osamu Nishida, Takehiko Yoshimi, Jirí Jelínek
Lazy Evaluation of Reference on a Packed Shared Forest without Unpacking. Natural Language Understanding and Logic Programming Workshop (1991)
Jirí Jelínek, Graham Wilcock, Osamu Nishida, Takehiko Yoshimi, Marco J. W. Bos, Naoyuki Tamura, H. Murakami
Japanese-to-English Project PROTRAN & TWINTRAN. COLING (1990)
Hiroaki Etoh, Naoyuki Tamura, Yasuo Asakawa, Toshiyuki Hama, Hideaki Komatsu
Introduction of a Package System into Prolog. LP (1987)
Hideaki Komatsu, Naoyuki Tamura, Yasuo Asakawa, Toshiaki Kurokawa
An Optimizing Prolog Compiler. LP (1986)
Naoyuki Tamura
Knowledge-Based Optimization in Prolog Compiler. FJCC (1986)
Toshiaki Kurokawa, Naoyuki Tamura, Yasuo Asakawa, Hideaki Komatsu
A Very Fast Prolog Complier on Multiple Architectures. FJCC (1986)
Yukio Kaneda, Naoyuki Tamura, Koichi Wada, Hideo Matsuda, Shumin Kuo, Sadao Maekawa
Sequential Prolog Machine PEK. New Gener. Comput. 4 (1) (1986)
Naoyuki Tamura, Yukio Kaneda
Implementing Parallel Prolog on a Multiprocessor Machine. SLP (1984)
Naoyuki Tamura, Koichi Wada, Hideo Matsuda, Yukio Kaneda, Sadao Maekawa
Sequential Prolog Machine PEK. FGCS (1984)