ResearcherID Thomson Reuters  

Tamura, Naoyuki
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: H-1325-2013
URL: http://www.researcherid.com/rid/H-1325-2013
Subject: Computer Science
Keywords: constraint programming; sat; logic programming; linear logic; programming languages
ORCID: http://orcid.org/0000-0002-5466-1010
My Institutions (more details)
Primary Institution:
Sub-org/Dept: Information Science and Technology Center
Role:
My URLs: http://bach.istc.kobe-u.ac.jp/tamura.html
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  16  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings
 Author(s): Soh, Takehide; Banbara, Mutsunori; Tamura, Naoyuki
 Source: International Journal on Artificial Intelligence Tools Volume: 26 Issue: 1 Published: FEB 2017
 Times Cited: 0
 DOI: 10.1142/S0218213017600053
added
14-Apr-17
2.  Title: A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings
 Author(s): Soh, Takehide; Banbara, Mutsunori; Tamura, Naoyuki; et al.
 Source: 2015 Ieee 27th International Conference on Tools With Artificial Intelligence (Ictai 2015) Pages: 421-428 Published: 2015
 Times Cited: 1
 DOI: 10.1109/ICTAI.2015.70
added
12-Jun-16
3.  Title: Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem
 Author(s): Soh, Takehide; Le Berre, Daniel; Roussel, Stephanie; et al.
 Source: Logics in Artificial Intelligence, Jelia 2014 Volume: 8761 Pages: 684-693 Published: 2014
 Times Cited: 2
added
12-Jun-16
4.  Title: パッキング配列問題の制約モデリングと SAT 符号化
 Author(s): 則武治樹; 番原睦則; 宋剛秀; et al.
 Source: コンピュータ ソフトウェア Volume: 31 Issue: 1 Pages: 1_116-1_130 Published: 2014
added
25-May-14
5.  Title: A Compact and Efficient SAT Encoding of Finite CSP based on a Numeral System of Integers
 Author(s): 丹生智也; 田村直之; 番原睦則
 Source: コンピュータ ソフトウェア Volume: 30 Issue: 1 Pages: 1_211-1_230 Published: 2013
added
25-May-14
6.  Title: Answer set programming as a modeling language for course timetabling
 Author(s): Banbara, Mutsunori; Soh, Takehide; Tamura, Naoyuki; et al.
 Source: Theory and Practice of Logic Programming Volume: 13 Pages: 783-798 Published: 2013
 Times Cited: 8
 DOI: 10.1017/S1471068413000495
added
25-May-14
7.  Title: Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
 Author(s): Banbara, Mutsunori; Gebser, Martin; Inoue, Katsumi; et al.
 Source: arXiv preprint arXiv:1312.6113 Published: 2013
added
25-May-14
8.  Title: Compiling Pseudo-Boolean Constraints to SAT with Order Encoding
 Author(s): Tamura, Naoyuki; Banbara, Mutsunori; Soh, Takehide
 Conference: Tools with Artificial Intelligence (ICTAI), 2013 IEEE 25th International Conference on Pages: 1020-1027 Year: 2013
added
25-May-14
9.  Title: Scarab: a rapid prototyping tool for SAT-based constraint programming systems
 Author(s): Soh, Takehide; Tamura, Naoyuki; Banbara, Mutsunori
 Source: Theory and Applications of Satisfiability Testing–SAT 2013 Pages: 429-436 Published: 2013
added
25-May-14
10.  Title: ソフトウェア紹介 直観主義線形論理型言語 LLP とそのコンパイラ処理系
 Author(s): 田村直之; 番原睦則
 Source: コンピュータソフトウェア Volume: 30 Issue: 2 Pages: 83-89 Published: 2013
added
25-May-14
publication(s)  
First Page Previous Page Page   of  16  Go Next Page Last Page
  Sort by:    Results per page: