ResearcherID.com
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  15  Go Next Page Last Page
  Sort by:    Results per page: 
1. 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: 0
DOI: 10.1109/ICTAI.2015.70
added
12-Jun-16
2. 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
3. Title: パッキング配列問題の制約モデリングと SAT 符号化
Author(s): 則武治樹; 番原睦則; 宋剛秀; et al.
Source: コンピュータ ソフトウェア Volume: 31 Issue: 1 Pages: 1_116-1_130 Published: 2014
added
25-May-14
4. 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
5. 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: 7
DOI: 10.1017/S1471068413000495
added
25-May-14
6. 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
7. 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
8. 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
9. Title: ソフトウェア紹介 直観主義線形論理型言語 LLP とそのコンパイラ処理系
Author(s): 田村直之; 番原睦則
Source: コンピュータソフトウェア Volume: 30 Issue: 2 Pages: 83-89 Published: 2013
added
25-May-14
10. Title: 国際シンポジウム FLOPS 2012 開催報告
Author(s): 田村直之; 番原睦則; 平山勝敏
Source: コンピュータソフトウェア Volume: 30 Issue: 1 Pages: 16-19 Published: 2013
added
25-May-14
publication(s)  
First Page Previous Page Page   of  15  Go Next Page Last Page
  Sort by:    Results per page: