Folgen
Naoyuki Tamura
Naoyuki Tamura
Information Science and Technology Center, Kobe University
Bestätigte E-Mail-Adresse bei kobe-u.ac.jp - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Compiling finite linear CSP into SAT
N Tamura, A Taga, S Kitagawa, M Banbara
Constraints 14 (2), 254-272, 2009
2462009
Sugar: A CSP to SAT translator based on order encoding
N Tamura, M Banbara
Proceedings of the Second International CSP Solver Competition, 65-69, 2008
812008
SAT ソルバーの基礎 (< 特集> 最近の SAT 技術の発展)
井上克巳, 田村直之
人工知能 25 (1), 57-67, 2010
76*2010
Generating combinatorial test cases by efficient SAT encodings suitable for CDCL SAT solvers
M Banbara, H Matsunaka, N Tamura, K Inoue
International Conference on Logic for Programming Artificial Intelligence …, 2010
712010
Compiling finite linear CSP into SAT
N Tamura, A Taga, S Kitagawa, M Banbara
International Conference on Principles and Practice of Constraint …, 2006
692006
System description of a SAT-based CSP solver Sugar
N Tamura, T Tanjo, M Banbara
Proceedings of the Third International CSP Solver Competition, 71-75, 2008
442008
Translating a linear logic programming language into Java
M Banbara, N Tamura
Proceedings of ICLP 99, 19-39, 1999
441999
制約最適化問題と SAT 符号化 (< 特集> 最近の SAT 技術の発展)
田村直之, 丹生智也, 番原睦則
人工知能 25 (1), 77-85, 2010
382010
A SAT-based method for solving the two-dimensional strip packing problem
T Soh, K Inoue, N Tamura, M Banbara, H Nabeshima
Fundamenta Informaticae 102 (3-4), 467-487, 2010
382010
A competitive and cooperative approach to propositional satisfiability
K Inoue, T Soh, S Ueda, Y Sasaura, M Banbara, N Tamura
Discrete Applied Mathematics 154 (16), 2291-2306, 2006
382006
Efficient Implementation of a Linear Logic Programming Language.
JS Hodas, KM Watkins, N Tamura, KS Kang
IJCSLP, 145-159, 1998
381998
Extension of WAM for a linear logic programming language
N Tamura, Y Kaneda
Second Fuji International Workshop on Functional and Logic Programming, 33-50, 1996
361996
A compact and efficient SAT-encoding of finite domain CSP
T Tanjo, N Tamura, M Banbara
International Conference on Theory and Applications of Satisfiability …, 2011
342011
Prolog cafe: A prolog to java translator system
M Banbara, N Tamura, K Inoue
International Conference on Applications of Declarative Programming and …, 2005
342005
Answer set programming as a modeling language for course timetabling
M Banbara, T Soh, N Tamura, K Inoue, T Schaub
Theory and Practice of Logic Programming 13 (4-5), 783-798, 2013
332013
Azucar: a SAT-based CSP solver using compact order encoding
T Tanjo, N Tamura, M Banbara
International Conference on Theory and Applications of Satisfiability …, 2012
322012
Compiling pseudo-boolean constraints to SAT with order encoding
N Tamura, M Banbara, T Soh
2013 IEEE 25th International Conference on Tools with Artificial …, 2013
302013
Implementing Parallel Prolog on a Multiprocessor Machine.
N Tamura, Y Kaneda
SLP, 42-48, 1984
261984
Incremental SAT-based method with native Boolean cardinality handling for the Hamiltonian cycle problem
T Soh, D Le Berre, S Roussel, M Banbara, N Tamura
European Workshop on Logics in Artificial Intelligence, 684-693, 2014
242014
Cream: Class library for constraint programming in java
N Tamura
http://bach. istc. kobe-u. ac. jp/cream/, 2004
232004
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20