Follow
Mutsunori Banbara
Title
Cited by
Cited by
Year
Compiling finite linear CSP into SAT
N Tamura, A Taga, S Kitagawa, M Banbara
Constraints 14, 254-272, 2009
2482009
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
832008
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
712010
Compiling finite linear CSP into SAT
N Tamura, A Taga, S Kitagawa, M Banbara
Principles and Practice of Constraint Programming-CP 2006: 12thá…, 2006
702006
Clingcon: The next generation
M Banbara, B Kaufmann, M Ostrowski, T Schaub
Theory and Practice of Logic Programming 17 (4), 408-461, 2017
492017
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
Electronic Notes in Theoretical Computer Science 30 (3), 20-45, 2000
442000
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
392010
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
392006
制約最適化問題と SAT 符号化 (< 特集> 最近の SAT 技術の発展)
田村直之, 丹生智也, 番原睦則
人工知能 25 (1), 77-85, 2010
382010
A compact and efficient SAT-encoding of finite domain CSP
T Tanjo, N Tamura, M Banbara
Theory and Applications of Satisfiability Testing-SAT 2011: 14thá…, 2011
342011
Prolog Cafe: A Prolog to Java Translator System
M Banbara, N Tamura, K Inoue
Declarative Programming for Knowledge Management: 16th Internationalá…, 2006
342006
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: (Tool Presentation)
T Tanjo, N Tamura, M Banbara
Theory and Applications of Satisfiability Testing–SAT 2012: 15thá…, 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
312013
: 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
262019
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
252014
Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems
T Soh, N Tamura, M Banbara
Theory and Applications of Satisfiability Testing–SAT 2013: 16thá…, 2013
222013
Compiling Resources in a Linear Logic Programming Language.
M Banbara, N Tamura
Implementation Technology for Programming Languages based on Logic, 32-45, 1998
221998
SAT によるシステム検証 (< 特集> 最近の SAT 技術の発展)
番原睦則, 田村直之
人工知能 25 (1), 122-129, 2010
212010
The system can't perform the operation now. Try again later.
Articles 1–20