The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Naoyuki Tamura" ( http://dblp.L3S.de/Authors/Naoyuki_Tamura )

  Author page on DBLP  Author page in RDF  Community of Naoyuki Tamura in ASPL-2

Publication years (Num. hits)
1984-1999 (16) 2001-2011 (15) 2012-2019 (13)
Publication types (Num. hits)
article(12) inproceedings(32)
Venues (Conferences, Journals, ...)
CP(3) SAT(3) Electr. Notes Theor. Comput. S...(2) FJCC(2) ICLP(2) ICTAI(2) INAP(2) LP(2) LPNMR(2) Annals OR(1) COLING(1) Constraints(1) CoRR(1) Discrete Applied Mathematics(1) FGCS(1) FLOPS(1) More (+10 of total 33)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords

Results
Found 45 publication records. Showing 44 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Mutsunori 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. Search on Bibsonomy Annals OR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Takehide Soh, Mutsunori Banbara, Naoyuki Tamura Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings. Search on Bibsonomy International Journal on Artificial Intelligence Tools The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mutsunori 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. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mutsunori 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. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Takehide Soh, Mutsunori Banbara, Naoyuki Tamura A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings. Search on Bibsonomy ICTAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Takehide Soh, Daniel Le Berre, Stéphanie Roussel 0001, Mutsunori Banbara, Naoyuki Tamura Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub Answer set programming as a modeling language for course timetabling. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Takehide Soh, Naoyuki Tamura, Mutsunori Banbara Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems. Search on Bibsonomy SAT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Naoyuki Tamura, Mutsunori Banbara, Takehide Soh Compiling Pseudo-Boolean Constraints to SAT with Order Encoding. Search on Bibsonomy ICTAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara Azucar: A SAT-Based CSP Solver Using Compact Order Encoding - (Tool Presentation). Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara A Compact and Efficient SAT-Encoding of Finite Domain CSP. Search on Bibsonomy SAT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mutsunori Banbara, Haruki Matsunaka, Naoyuki Tamura, Katsumi Inoue Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Naoyuki Tamura, Tomoya Tanjo, Mutsunori Banbara Solving Constraint Satisfaction Problems with SAT Technology. Search on Bibsonomy FLOPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara Compiling finite linear CSP into SAT. Search on Bibsonomy Constraints The full citation details ... 2009 DBLP  DOI  BibTeX  RDF SAT encoding, Open-shop scheduling problems, Constraint satisfaction problems
1Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. Search on Bibsonomy RCRA The full citation details ... 2008 DBLP  BibTeX  RDF
1Hiroki Takahashi, Naoyuki Tamura, Toshihiko Furue, Osamu Yoshie Low Cost Rendering Method for Virtual Factory Considering Interpolation of Occluded Objects. Search on Bibsonomy J. Mobile Multimedia The full citation details ... 2007 DBLP  BibTeX  RDF
1Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara, Naoyuki Tamura A competitive and cooperative approach to propositional satisfiability. Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Hiroki Takahashi, Naoyuki Tamura, Toshihiko Furue, Osamu Yoshie Low Cost Rendering Method for Virtual Factory Considering Interpolation of Occluded Objects. Search on Bibsonomy MoMM The full citation details ... 2006 DBLP  BibTeX  RDF
1Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara Compiling Finite Linear CSP into SAT. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Naoyuki Tamura Calc/Cream: OpenOffice Spreadsheet Front-End for Constraint Programming. Search on Bibsonomy INAP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue Prolog Cafe : A Prolog to Java Translator System. Search on Bibsonomy INAP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Shuji Ohnishi, Hiroaki Tasaka, Naoyuki Tamura Efficient Represenation of Discrete Sets for Constraint Programming. Search on Bibsonomy CP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Joshua S. Hodas, Naoyuki Tamura lolliCop - A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic. Search on Bibsonomy IJCAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Mutsunori Banbara, Naoyuki Tamura Translating a Linear Logic Programming Language into Java. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Kyoung-Sun Kang, Naoyuki Tamura A Static Analysis Method for a Classical Linear Logic Programming Language. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Kyoung-Sun Kang, Naoyuki Tamura A Static Analysis for Classical Linear Logic Programming Language. Search on Bibsonomy ICLP The full citation details ... 1999 DBLP  BibTeX  RDF
1Kiyomitsu Horiuchi, Naoyuki Tamura VSOP fuzzy numbers and their fuzzy ordering. Search on Bibsonomy Fuzzy Sets and Systems The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Joshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Kyoung-Sun Kang Efficient Implementation of a Linear Logic Programming Language. Search on Bibsonomy IJCSLP The full citation details ... 1998 DBLP  BibTeX  RDF
1Mutsunori Banbara, Naoyuki Tamura Compiling Resources in a Linear Logic Programming Language. Search on Bibsonomy Implementation Technology for Programming Languages based on Logic The full citation details ... 1998 DBLP  BibTeX  RDF
1Naoyuki Tamura, Yukio Kaneda Resource Management Method for a Compiler System of a Linear Logic Programming Language (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Naoyuki 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. Search on Bibsonomy Natural Language Understanding and Logic Programming Workshop The full citation details ... 1991 DBLP  BibTeX  RDF
1Jirí Jelínek, Graham Wilcock, Osamu Nishida, Takehiko Yoshimi, Marco J. W. Bos, Naoyuki Tamura, H. Murakami Japanese-to-English Project PROTRAN & TWINTRAN. Search on Bibsonomy COLING The full citation details ... 1990 DBLP  BibTeX  RDF
1Hiroaki Etoh, Naoyuki Tamura, Yasuo Asakawa, Toshiyuki Hama, Hideaki Komatsu Introduction of a Package System into Prolog. Search on Bibsonomy LP The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Yukio Kaneda, Naoyuki Tamura, Koichi Wada, Hideo Matsuda, Shumin Kuo, Sadao Maekawa Sequential Prolog Machine PEK. Search on Bibsonomy New Generation Comput. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Hideaki Komatsu, Naoyuki Tamura, Yasuo Asakawa, Toshiaki Kurokawa An Optimizing Prolog Compiler. Search on Bibsonomy LP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
1Toshiaki Kurokawa, Naoyuki Tamura, Yasuo Asakawa, Hideaki Komatsu A Very Fast Prolog Complier on Multiple Architectures. Search on Bibsonomy FJCC The full citation details ... 1986 DBLP  BibTeX  RDF
1Naoyuki Tamura Knowledge-Based Optimization in Prolog Compiler. Search on Bibsonomy FJCC The full citation details ... 1986 DBLP  BibTeX  RDF
1Naoyuki Tamura, Yukio Kaneda Implementing Parallel Prolog on a Multiprocessor Machine. Search on Bibsonomy SLP The full citation details ... 1984 DBLP  BibTeX  RDF
1Naoyuki Tamura, Koichi Wada, Hideo Matsuda, Yukio Kaneda, Sadao Maekawa Sequential Prolog Machine PEK. Search on Bibsonomy FGCS The full citation details ... 1984 DBLP  BibTeX  RDF
Displaying result #1 - #44 of 44 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license