Mutsunori Banbara

عدد مرات الاقتباسات

	الكل	قبل 2020
اقتباسات	1478	398
h-index	21	9
i10-index	33	9

120

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202512 14 14 3 13 23 19 19 23 19 86 68 81 77 114 110 96 104 97 64 58 67 79 110 68 15

عدد المنشورات المتاحة للجميع

عرض المجموعة جميعها

6 مقالات

مقالة واحدة

المقالات البحثية المتاحة للجميع

المقالات البحثية غير المتاحة للجميع

تمّ اختيار المعلومات استنادًا إلى تفويضات التمويل

المؤلفون المشاركون

Naoyuki TamuraEmeritus Professor of Kobe Universityبريد إلكتروني تم التحقق منه على kobe-u.ac.jp
Takehide SohKobe Universityبريد إلكتروني تم التحقق منه على lion.kobe-u.ac.jp
Katsumi InoueNational Institute of Informaticsبريد إلكتروني تم التحقق منه على nii.ac.jp
Torsten SchaubUniversity of Potsdamبريد إلكتروني تم التحقق منه على cs.uni-potsdam.de
Daniel Le BerreCRIL-CNRS Université d'Artoisبريد إلكتروني تم التحقق منه على cril.fr
Tenda Okimoto神戸大学大学院海事科学部بريد إلكتروني تم التحقق منه على maritime.kobe-u.ac.jp
Shin-ichi MinatoKyoto Universityبريد إلكتروني تم التحقق منه على i.kyoto-u.ac.jp
Ryuhei UeharaJapan Advanced Institute of Science and Technologyبريد إلكتروني تم التحقق منه على jaist.ac.jp
Martin GebserUniversity of Klagenfurtبريد إلكتروني تم التحقق منه على aau.at
Ichigaku TakigawaKyoto University / Hokkaido Universityبريد إلكتروني تم التحقق منه على kyoto-u.ac.jp
Morgan MagninProfessor of Computer Science, LS2N, École Centrale de Nantes, National Institute of Informaticsبريد إلكتروني تم التحقق منه على ec-nantes.fr
Masahiko SakaiNagoya Universityبريد إلكتروني تم التحقق منه على i.nagoya-u.ac.jp
Jun KawaharaKyoto Universityبريد إلكتروني تم التحقق منه على i.kyoto-u.ac.jp
Miyuki Koshimura九州大学大学院システム情報科学研究院بريد إلكتروني تم التحقق منه على inf.kyushu-u.ac.jp
Hirotaka OnoNagoya University, Japanبريد إلكتروني تم التحقق منه على i.nagoya-u.ac.jp

متابعة

Mutsunori Banbara

Nagoya University

بريد إلكتروني تم التحقق منه على nagoya-u.jp

SAT Constraint Programming Logic Programming Answer-Set Programming Timetabling


عنوان ترتيب حسب الاقتباسات ترتيب حسب السنة الترتيب حسب العنوان	عدد مرات الاقتباسات عدد مرات الاقتباسات	السنة
Compiling finite linear CSP into SAT‏ N Tamura, A Taga, S Kitagawa, M Banbara‏ Constraints 14, 254-272, 2009‏	277	2009
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‏	89	2008
Generating combinatorial test cases by efficient SAT encodings suitable for CDCL SAT solvers‏ M Banbara, H Matsunaka, N Tamura, K Inoue‏ Logic for Programming, Artificial Intelligence, and Reasoning: 17th …, 2010‏	79	2010
Clingcon: The next generation‏ M Banbara, B Kaufmann, M Ostrowski, T Schaub‏ Theory and Practice of Logic Programming 17 (4), 408-461, 2017‏	75	2017
Compiling finite linear CSP into SAT‏ N Tamura, A Taga, S Kitagawa, M Banbara‏ Principles and Practice of Constraint Programming-CP 2006: 12th …, 2006‏	73	2006
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‏	45	2008
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‏	43	2013
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‏	42	2010
Translating a linear logic programming language into Java‏ M Banbara, N Tamura‏ Electronic Notes in Theoretical Computer Science 30 (3), 20-45, 2000‏	42	2000
: solving the curriculum-based course timetabling problems with answer set programming‏ M Banbara, K Inoue, B Kaufmann, T Okimoto, T Schaub, T Soh, N Tamura, ...‏ Annals of Operations Research 275, 3-37, 2019‏	41	2019
制約最適化問題と SAT 符号化 (< 特集> 最近の SAT 技術の発展)‏ 田村直之，丹生智也，番原睦則‏ 人工知能 25 (1), 77-85, 2010‏	40	2010
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‏	38	2006
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‏	37	2011
Prolog cafe: A prolog to java translator system‏ M Banbara, N Tamura, K Inoue‏ International Conference on Applications of Declarative Programming and …, 2005‏	37	2005
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‏	36	2013
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‏ Logics in Artificial Intelligence: 14th European Conference, JELIA 2014 …, 2014‏	34	2014
Azucar: A SAT-Based CSP Solver Using Compact Order Encoding: (Tool Presentation)‏ T Tanjo, N Tamura, M Banbara‏ International Conference on Theory and Applications of Satisfiability …, 2012‏	33	2012
Solving multiobjective discrete optimization problems with propositional minimal model generation‏ T Soh, M Banbara, N Tamura, D Le Berre‏ Principles and Practice of Constraint Programming: 23rd International …, 2017‏	27	2017
Scarab: A rapid prototyping tool for SAT-based constraint programming systems‏ T Soh, N Tamura, M Banbara‏ International Conference on Theory and Applications of Satisfiability …, 2013‏	24	2013
SAT によるシステム検証 (< 特集> 最近の SAT 技術の発展)‏ 番原睦則，田村直之‏ 人工知能 25 (1), 122-129, 2010‏	22	2010

يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.

مقالات 1–20

عدد الاقتباسات في العام

اقتباسات مكررة

الاقتباسات المدمجة

إضافة مؤلفين مشاركينالمؤلفون المشاركون

متابعة

عدد مرات الاقتباسات

المؤلفون المشاركون