The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Mutsunori Banbara" ( http://dblp.L3S.de/Authors/Mutsunori_Banbara )

  Author page on DBLP  Author page in RDF  Community of Mutsunori Banbara in ASPL-2

Publication years (Num. hits)
1998-2013 (18) 2014-2019 (9)
Publication types (Num. hits)
article(10) inproceedings(17)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords

Results
Found 28 publication records. Showing 27 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Mutsunori 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. Search on Bibsonomy Annals OR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Takehide Soh, Mutsunori Banbara, Naoyuki Tamura Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings. Search on Bibsonomy International Journal on Artificial Intelligence Tools The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub Clingcon: The Next Generation. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub Clingcon: The next generation. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mutsunori 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. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation. Search on Bibsonomy CP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mutsunori 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. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Takehide Soh, Mutsunori Banbara, Naoyuki Tamura A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings. Search on Bibsonomy ICTAI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Takehide 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. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mutsunori Banbara, Martin Gebser, Katsumi Inoue, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Matthias Weise Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Mutsunori Banbara, Takehide Soh, Naoyuki Tamura, Katsumi Inoue, Torsten Schaub Answer set programming as a modeling language for course timetabling. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Takehide Soh, Naoyuki Tamura, Mutsunori Banbara Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems. Search on Bibsonomy SAT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Naoyuki Tamura, Mutsunori Banbara, Takehide Soh Compiling Pseudo-Boolean Constraints to SAT with Order Encoding. Search on Bibsonomy ICTAI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara Azucar: A SAT-Based CSP Solver Using Compact Order Encoding - (Tool Presentation). Search on Bibsonomy SAT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tomoya Tanjo, Naoyuki Tamura, Mutsunori Banbara A Compact and Efficient SAT-Encoding of Finite Domain CSP. Search on Bibsonomy SAT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. Search on Bibsonomy Fundam. Inform. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mutsunori Banbara, Haruki Matsunaka, Naoyuki Tamura, Katsumi Inoue Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers. Search on Bibsonomy LPAR (Yogyakarta) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Naoyuki Tamura, Tomoya Tanjo, Mutsunori Banbara Solving Constraint Satisfaction Problems with SAT Technology. Search on Bibsonomy FLOPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara Compiling finite linear CSP into SAT. Search on Bibsonomy Constraints The full citation details ... 2009 DBLP  DOI  BibTeX  RDF SAT encoding, Open-shop scheduling problems, Constraint satisfaction problems
1Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima A SAT-based Method for Solving the Two-dimensional Strip Packing Problem. Search on Bibsonomy RCRA The full citation details ... 2008 DBLP  BibTeX  RDF
1Katsumi Inoue, Takehide Soh, Seiji Ueda, Yoshito Sasaura, Mutsunori Banbara, Naoyuki Tamura A competitive and cooperative approach to propositional satisfiability. Search on Bibsonomy Discrete Applied Mathematics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara Compiling Finite Linear CSP into SAT. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Mutsunori Banbara, Naoyuki Tamura, Katsumi Inoue Prolog Cafe : A Prolog to Java Translator System. Search on Bibsonomy INAP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic. Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Mutsunori Banbara, Naoyuki Tamura Translating a Linear Logic Programming Language into Java. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Mutsunori Banbara, Naoyuki Tamura Compiling Resources in a Linear Logic Programming Language. Search on Bibsonomy Implementation Technology for Programming Languages based on Logic The full citation details ... 1998 DBLP  BibTeX  RDF
Displaying result #1 - #27 of 27 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license