Search the dblp DataBase

Publications of Author

1. Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara
   Compiling Finite Linear CSP into SAT. [Citation Graph (0, 0)][DBLP]
   CP, 2006, pp:590-603 [Conf]
   
2. Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura
   Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic. [Citation Graph (0, 0)][DBLP]
   ICLP, 2001, pp:315-330 [Conf]
   
3. Mutsunori Banbara, Naoyuki Tamura
   Compiling Resources in a Linear Logic Programming Language. [Citation Graph (0, 0)][DBLP]
   Implementation Technology for Programming Languages based on Logic, 1998, pp:32-45 [Conf]
   
4. Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue
   Prolog Cafe : A Prolog to Java Translator System. [Citation Graph (0, 0)][DBLP]
   INAP, 2005, pp:1-11 [Conf]
   
5. Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara, Naoyuki Tamura
   A competitive and cooperative approach to propositional satisfiability. [Citation Graph (0, 0)][DBLP]
   Discrete Applied Mathematics, 2006, v:154, n:16, pp:2291-2306 [Journal]
   
6. Mutsunori Banbara, Naoyuki Tamura
   Translating a Linear Logic Programming Language into Java. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1999, v:30, n:3, pp:- [Journal]
   
7. 
   Solving Constraint Satisfaction Problems with SAT Technology. [Citation Graph (, )][DBLP]
   
   
8. 
   Compiling finite linear CSP into SAT. [Citation Graph (, )][DBLP]