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