BibTeX records: Mutsunori Banbara

download as .bib file

@inproceedings{DBLP:conf/sofsem/BanbaraMOU24,
  author       = {Mutsunori Banbara and
                  Shin{-}ichi Minato and
                  Hirotaka Ono and
                  Ryuhei Uehara},
  editor       = {Henning Fernau and
                  Serge Gaspers and
                  Ralf Klasing},
  title        = {On the Computational Complexity of Generalized Common Shape Puzzles},
  booktitle    = {{SOFSEM} 2024: Theory and Practice of Computer Science - 49th International
                  Conference on Current Trends in Theory and Practice of Computer Science,
                  {SOFSEM} 2024, Cochem, Germany, February 19-23, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14519},
  pages        = {55--68},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-52113-3\_4},
  doi          = {10.1007/978-3-031-52113-3\_4},
  timestamp    = {Thu, 29 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sofsem/BanbaraMOU24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/walcom/YamadaBISU24,
  author       = {Yuya Yamada and
                  Mutsunori Banbara and
                  Katsumi Inoue and
                  Torsten Schaub and
                  Ryuhei Uehara},
  editor       = {Ryuhei Uehara and
                  Katsuhisa Yamanaka and
                  Hsu{-}Chun Yen},
  title        = {Combinatorial Reconfiguration with Answer Set Programming: Algorithms,
                  Encodings, and Empirical Analysis},
  booktitle    = {{WALCOM:} Algorithms and Computation - 18th International Conference
                  and Workshops on Algorithms and Computation, {WALCOM} 2024, Kanazawa,
                  Japan, March 18-20, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14549},
  pages        = {242--256},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-981-97-0566-5\_18},
  doi          = {10.1007/978-981-97-0566-5\_18},
  timestamp    = {Sat, 16 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/walcom/YamadaBISU24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/biostec/SohMBBT23,
  author       = {Takehide Soh and
                  Morgan Magnin and
                  Daniel Le Berre and
                  Mutsunori Banbara and
                  Naoyuki Tamura},
  editor       = {Hesham Ali and
                  Ning Deng and
                  Ana L. N. Fred and
                  Hugo Gamboa},
  title        = {SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued
                  Networks},
  booktitle    = {Proceedings of the 16th International Joint Conference on Biomedical
                  Engineering Systems and Technologies, {BIOSTEC} 2023, Volume 3: BIOINFORMATICS,
                  Lisbon, Portugal, February 16-18, 2023},
  pages        = {163--174},
  publisher    = {{SCITEPRESS}},
  year         = {2023},
  url          = {https://doi.org/10.5220/0011675100003414},
  doi          = {10.5220/0011675100003414},
  timestamp    = {Thu, 23 Mar 2023 11:48:17 +0100},
  biburl       = {https://dblp.org/rec/conf/biostec/SohMBBT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cmsb/SohMBBT23,
  author       = {Takehide Soh and
                  Morgan Magnin and
                  Daniel Le Berre and
                  Mutsunori Banbara and
                  Naoyuki Tamura},
  editor       = {Jun Pang and
                  Joachim Niehren},
  title        = {{SAF:} SAT-Based Attractor Finder in Asynchronous Automata Networks},
  booktitle    = {Computational Methods in Systems Biology - 21st International Conference,
                  {CMSB} 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14137},
  pages        = {175--183},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-42697-1\_12},
  doi          = {10.1007/978-3-031-42697-1\_12},
  timestamp    = {Sun, 24 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/SohMBBT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/HirateBILNSST23,
  author       = {Takahiro Hirate and
                  Mutsunori Banbara and
                  Katsumi Inoue and
                  Xiao{-}Nan Lu and
                  Hidetomo Nabeshima and
                  Torsten Schaub and
                  Takehide Soh and
                  Naoyuki Tamura},
  editor       = {Sarah Alice Gaggl and
                  Maria Vanina Martinez and
                  Magdalena Ortiz},
  title        = {Hamiltonian Cycle Reconfiguration with Answer Set Programming},
  booktitle    = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
                  2023, Dresden, Germany, September 20-22, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14281},
  pages        = {262--277},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43619-2\_19},
  doi          = {10.1007/978-3-031-43619-2\_19},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/HirateBILNSST23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/YamadaBIS23,
  author       = {Yuya Yamada and
                  Mutsunori Banbara and
                  Katsumi Inoue and
                  Torsten Schaub},
  editor       = {Sarah Alice Gaggl and
                  Maria Vanina Martinez and
                  Magdalena Ortiz},
  title        = {Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming},
  booktitle    = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
                  2023, Dresden, Germany, September 20-22, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14281},
  pages        = {278--286},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-43619-2\_20},
  doi          = {10.1007/978-3-031-43619-2\_20},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/YamadaBIS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/padl/TakeuchiBTS23,
  author       = {Raito Takeuchi and
                  Mutsunori Banbara and
                  Naoyuki Tamura and
                  Torsten Schaub},
  editor       = {Michael Hanus and
                  Daniela Inclezan},
  title        = {Solving Vehicle Equipment Specification Problems with Answer Set Programming},
  booktitle    = {Practical Aspects of Declarative Languages - 25th International Symposium,
                  {PADL} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13880},
  pages        = {232--249},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-24841-2\_15},
  doi          = {10.1007/978-3-031-24841-2\_15},
  timestamp    = {Tue, 31 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/padl/TakeuchiBTS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2305-10749,
  author       = {Mutsunori Banbara and
                  Shin{-}ichi Minato and
                  Hirotaka Ono and
                  Ryuhei Uehara},
  title        = {On the Computational Complexity of Generalized Common Shape Puzzles},
  journal      = {CoRR},
  volume       = {abs/2305.10749},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.10749},
  doi          = {10.48550/ARXIV.2305.10749},
  eprinttype    = {arXiv},
  eprint       = {2305.10749},
  timestamp    = {Fri, 29 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-10749.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2307-10688,
  author       = {Yuya Yamada and
                  Mutsunori Banbara and
                  Katsumi Inoue and
                  Torsten Schaub},
  title        = {Bounded Combinatorial Reconfiguration with Answer Set Programming},
  journal      = {CoRR},
  volume       = {abs/2307.10688},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2307.10688},
  doi          = {10.48550/ARXIV.2307.10688},
  eprinttype    = {arXiv},
  eprint       = {2307.10688},
  timestamp    = {Wed, 26 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-10688.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2201-08118,
  author       = {Shin{-}ichi Minato and
                  Mutsunori Banbara and
                  Takashi Horiyama and
                  Jun Kawahara and
                  Ichigaku Takigawa and
                  Yutaro Yamaguchi},
  title        = {Interval-Memoized Backtracking on ZDDs for Fast Enumeration of All
                  Lower Cost Solutions},
  journal      = {CoRR},
  volume       = {abs/2201.08118},
  year         = {2022},
  url          = {https://arxiv.org/abs/2201.08118},
  eprinttype    = {arXiv},
  eprint       = {2201.08118},
  timestamp    = {Mon, 16 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2201-08118.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2110-05184,
  author       = {Mutsunori Banbara and
                  Kenji Hashimoto and
                  Takashi Horiyama and
                  Shin{-}ichi Minato and
                  Kakeru Nakamura and
                  Masaaki Nishino and
                  Masahiko Sakai and
                  Ryuhei Uehara and
                  Yushi Uno and
                  Norihito Yasuda},
  title        = {Solving Rep-tile by Computers: Performance of Solvers and Analyses
                  of Solutions},
  journal      = {CoRR},
  volume       = {abs/2110.05184},
  year         = {2021},
  url          = {https://arxiv.org/abs/2110.05184},
  eprinttype    = {arXiv},
  eprint       = {2110.05184},
  timestamp    = {Thu, 21 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-05184.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/anor/BanbaraIKOSSTW19,
  author       = {Mutsunori Banbara and
                  Katsumi Inoue and
                  Benjamin Kaufmann and
                  Tenda Okimoto and
                  Torsten Schaub and
                  Takehide Soh and
                  Naoyuki Tamura and
                  Philipp Wanko},
  title        = {teaspoon : solving the curriculum-based course timetabling problems
                  with answer set programming},
  journal      = {Ann. Oper. Res.},
  volume       = {275},
  number       = {1},
  pages        = {3--37},
  year         = {2019},
  url          = {https://doi.org/10.1007/s10479-018-2757-7},
  doi          = {10.1007/S10479-018-2757-7},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/anor/BanbaraIKOSSTW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijait/SohBT17,
  author       = {Takehide Soh and
                  Mutsunori Banbara and
                  Naoyuki Tamura},
  title        = {Proposal and Evaluation of Hybrid Encoding of {CSP} to {SAT} Integrating
                  Order and Log Encodings},
  journal      = {Int. J. Artif. Intell. Tools},
  volume       = {26},
  number       = {1},
  pages        = {1760005:1--1760005:29},
  year         = {2017},
  url          = {https://doi.org/10.1142/S0218213017600053},
  doi          = {10.1142/S0218213017600053},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijait/SohBT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/BanbaraKOS17,
  author       = {Mutsunori Banbara and
                  Benjamin Kaufmann and
                  Max Ostrowski and
                  Torsten Schaub},
  title        = {Clingcon: The next generation},
  journal      = {Theory Pract. Log. Program.},
  volume       = {17},
  number       = {4},
  pages        = {408--461},
  year         = {2017},
  url          = {https://doi.org/10.1017/S1471068417000138},
  doi          = {10.1017/S1471068417000138},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/BanbaraKOS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/SohBTB17,
  author       = {Takehide Soh and
                  Mutsunori Banbara and
                  Naoyuki Tamura and
                  Daniel Le Berre},
  editor       = {J. Christopher Beck},
  title        = {Solving Multiobjective Discrete Optimization Problems with Propositional
                  Minimal Model Generation},
  booktitle    = {Principles and Practice of Constraint Programming - 23rd International
                  Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
                  1, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10416},
  pages        = {596--614},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66158-2\_38},
  doi          = {10.1007/978-3-319-66158-2\_38},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/SohBTB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/BanbaraIKOSST17,
  author       = {Mutsunori Banbara and
                  Katsumi Inoue and
                  Hiromasa Kaneyuki and
                  Tenda Okimoto and
                  Torsten Schaub and
                  Takehide Soh and
                  Naoyuki Tamura},
  editor       = {Marcello Balduccini and
                  Tomi Janhunen},
  title        = {catnap: Generating Test Suites of Constrained Combinatorial Testing
                  with Answer Set Programming},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 14th International
                  Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10377},
  pages        = {265--278},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61660-5\_24},
  doi          = {10.1007/978-3-319-61660-5\_24},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lpnmr/BanbaraIKOSST17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/BanbaraKOS17,
  author       = {Mutsunori Banbara and
                  Benjamin Kaufmann and
                  Max Ostrowski and
                  Torsten Schaub},
  title        = {Clingcon: The Next Generation},
  journal      = {CoRR},
  volume       = {abs/1705.04569},
  year         = {2017},
  url          = {http://arxiv.org/abs/1705.04569},
  eprinttype    = {arXiv},
  eprint       = {1705.04569},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BanbaraKOS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictai/SohBT15,
  author       = {Takehide Soh and
                  Mutsunori Banbara and
                  Naoyuki Tamura},
  title        = {A Hybrid Encoding of {CSP} to {SAT} Integrating Order and Log Encodings},
  booktitle    = {27th {IEEE} International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2015, Vietri sul Mare, Italy, November 9-11, 2015},
  pages        = {421--428},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICTAI.2015.70},
  doi          = {10.1109/ICTAI.2015.70},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/SohBT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpnmr/BanbaraGIOPSSTW15,
  author       = {Mutsunori Banbara and
                  Martin Gebser and
                  Katsumi Inoue and
                  Max Ostrowski and
                  Andrea Peano and
                  Torsten Schaub and
                  Takehide Soh and
                  Naoyuki Tamura and
                  Matthias Weise},
  editor       = {Francesco Calimeri and
                  Giovambattista Ianni and
                  Miroslaw Truszczynski},
  title        = {aspartame: Solving Constraint Satisfaction Problems with Answer Set
                  Programming},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning - 13th International
                  Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9345},
  pages        = {112--126},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23264-5\_10},
  doi          = {10.1007/978-3-319-23264-5\_10},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/BanbaraGIOPSSTW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/SohBRBT14,
  author       = {Takehide Soh and
                  Daniel Le Berre and
                  St{\'{e}}phanie Roussel and
                  Mutsunori Banbara and
                  Naoyuki Tamura},
  editor       = {Eduardo Ferm{\'{e}} and
                  Jo{\~{a}}o Leite},
  title        = {Incremental SAT-Based Method with Native Boolean Cardinality Handling
                  for the Hamiltonian Cycle Problem},
  booktitle    = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
                  2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8761},
  pages        = {684--693},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11558-0\_52},
  doi          = {10.1007/978-3-319-11558-0\_52},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jelia/SohBRBT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/BanbaraSTIS13,
  author       = {Mutsunori Banbara and
                  Takehide Soh and
                  Naoyuki Tamura and
                  Katsumi Inoue and
                  Torsten Schaub},
  title        = {Answer set programming as a modeling language for course timetabling},
  journal      = {Theory Pract. Log. Program.},
  volume       = {13},
  number       = {4-5},
  pages        = {783--798},
  year         = {2013},
  url          = {https://doi.org/10.1017/S1471068413000495},
  doi          = {10.1017/S1471068413000495},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/BanbaraSTIS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictai/TamuraBS13,
  author       = {Naoyuki Tamura and
                  Mutsunori Banbara and
                  Takehide Soh},
  title        = {Compiling Pseudo-Boolean Constraints to {SAT} with Order Encoding},
  booktitle    = {25th {IEEE} International Conference on Tools with Artificial Intelligence,
                  {ICTAI} 2013, Herndon, VA, USA, November 4-6, 2013},
  pages        = {1020--1027},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICTAI.2013.153},
  doi          = {10.1109/ICTAI.2013.153},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictai/TamuraBS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/SohTB13,
  author       = {Takehide Soh and
                  Naoyuki Tamura and
                  Mutsunori Banbara},
  editor       = {Matti J{\"{a}}rvisalo and
                  Allen Van Gelder},
  title        = {Scarab: {A} Rapid Prototyping Tool for SAT-Based Constraint Programming
                  Systems},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
                  International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7962},
  pages        = {429--436},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39071-5\_34},
  doi          = {10.1007/978-3-642-39071-5\_34},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/SohTB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/BanbaraGISSTW13,
  author       = {Mutsunori Banbara and
                  Martin Gebser and
                  Katsumi Inoue and
                  Torsten Schaub and
                  Takehide Soh and
                  Naoyuki Tamura and
                  Matthias Weise},
  title        = {Aspartame: Solving Constraint Satisfaction Problems with Answer Set
                  Programming},
  journal      = {CoRR},
  volume       = {abs/1312.6113},
  year         = {2013},
  url          = {http://arxiv.org/abs/1312.6113},
  eprinttype    = {arXiv},
  eprint       = {1312.6113},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BanbaraGISSTW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/BanbaraTI12,
  author       = {Mutsunori Banbara and
                  Naoyuki Tamura and
                  Katsumi Inoue},
  editor       = {Agostino Dovier and
                  V{\'{\i}}tor Santos Costa},
  title        = {Generating Event-Sequence Test Cases by Answer Set Programming with
                  the Incidence Matrix},
  booktitle    = {Technical Communications of the 28th International Conference on Logic
                  Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
  series       = {LIPIcs},
  volume       = {17},
  pages        = {86--97},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2012},
  url          = {https://doi.org/10.4230/LIPIcs.ICLP.2012.86},
  doi          = {10.4230/LIPICS.ICLP.2012.86},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/BanbaraTI12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/TanjoTB12,
  author       = {Tomoya Tanjo and
                  Naoyuki Tamura and
                  Mutsunori Banbara},
  editor       = {Alessandro Cimatti and
                  Roberto Sebastiani},
  title        = {Azucar: {A} SAT-Based {CSP} Solver Using Compact Order Encoding -
                  (Tool Presentation)},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
                  International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7317},
  pages        = {456--462},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31612-8\_37},
  doi          = {10.1007/978-3-642-31612-8\_37},
  timestamp    = {Sun, 02 Jun 2019 21:24:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/TanjoTB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sat/TanjoTB11,
  author       = {Tomoya Tanjo and
                  Naoyuki Tamura and
                  Mutsunori Banbara},
  editor       = {Karem A. Sakallah and
                  Laurent Simon},
  title        = {A Compact and Efficient SAT-Encoding of Finite Domain {CSP}},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2011 - 14th
                  International Conference, {SAT} 2011, Ann Arbor, MI, USA, June 19-22,
                  2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6695},
  pages        = {375--376},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21581-0\_36},
  doi          = {10.1007/978-3-642-21581-0\_36},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/TanjoTB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/SohITBN10,
  author       = {Takehide Soh and
                  Katsumi Inoue and
                  Naoyuki Tamura and
                  Mutsunori Banbara and
                  Hidetomo Nabeshima},
  title        = {A SAT-based Method for Solving the Two-dimensional Strip Packing Problem},
  journal      = {Fundam. Informaticae},
  volume       = {102},
  number       = {3-4},
  pages        = {467--487},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-314},
  doi          = {10.3233/FI-2010-314},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/SohITBN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flops/TamuraTB10,
  author       = {Naoyuki Tamura and
                  Tomoya Tanjo and
                  Mutsunori Banbara},
  editor       = {Matthias Blume and
                  Naoki Kobayashi and
                  Germ{\'{a}}n Vidal},
  title        = {Solving Constraint Satisfaction Problems with {SAT} Technology},
  booktitle    = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
                  2010, Sendai, Japan, April 19-21, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6009},
  pages        = {19--23},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-12251-4\_3},
  doi          = {10.1007/978-3-642-12251-4\_3},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/TamuraTB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lpar/BanbaraMTI10,
  author       = {Mutsunori Banbara and
                  Haruki Matsunaka and
                  Naoyuki Tamura and
                  Katsumi Inoue},
  editor       = {Christian G. Ferm{\"{u}}ller and
                  Andrei Voronkov},
  title        = {Generating Combinatorial Test Cases by Efficient {SAT} Encodings Suitable
                  for {CDCL} {SAT} Solvers},
  booktitle    = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
                  International Conference, LPAR-17, Yogyakarta, Indonesia, October
                  10-15, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6397},
  pages        = {112--126},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16242-8\_9},
  doi          = {10.1007/978-3-642-16242-8\_9},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lpar/BanbaraMTI10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/constraints/TamuraTKB09,
  author       = {Naoyuki Tamura and
                  Akiko Taga and
                  Satoshi Kitagawa and
                  Mutsunori Banbara},
  title        = {Compiling finite linear {CSP} into {SAT}},
  journal      = {Constraints An Int. J.},
  volume       = {14},
  number       = {2},
  pages        = {254--272},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10601-008-9061-0},
  doi          = {10.1007/S10601-008-9061-0},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/constraints/TamuraTKB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rcra/SohITBN08,
  author       = {Takehide Soh and
                  Katsumi Inoue and
                  Naoyuki Tamura and
                  Mutsunori Banbara and
                  Hidetomo Nabeshima},
  editor       = {Marco Gavanelli and
                  Toni Mancini},
  title        = {A SAT-based Method for Solving the Two-dimensional Strip Packing Problem},
  booktitle    = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
                  of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
                  Italy, December 12-13, 2008},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {451},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-451/paper16soh.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:58 +0100},
  biburl       = {https://dblp.org/rec/conf/rcra/SohITBN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dam/InoueSUSBT06,
  author       = {Katsumi Inoue and
                  Takehide Soh and
                  Seiji Ueda and
                  Yoshito Sasaura and
                  Mutsunori Banbara and
                  Naoyuki Tamura},
  title        = {A competitive and cooperative approach to propositional satisfiability},
  journal      = {Discret. Appl. Math.},
  volume       = {154},
  number       = {16},
  pages        = {2291--2306},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.dam.2006.04.015},
  doi          = {10.1016/J.DAM.2006.04.015},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dam/InoueSUSBT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cp/TamuraTKB06,
  author       = {Naoyuki Tamura and
                  Akiko Taga and
                  Satoshi Kitagawa and
                  Mutsunori Banbara},
  editor       = {Fr{\'{e}}d{\'{e}}ric Benhamou},
  title        = {Compiling Finite Linear {CSP} into {SAT}},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
                  International Conference, {CP} 2006, Nantes, France, September 25-29,
                  2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4204},
  pages        = {590--603},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11889205\_42},
  doi          = {10.1007/11889205\_42},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/TamuraTKB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/inap/BanbaraTI05,
  author       = {Mutsunori Banbara and
                  Naoyuki Tamura and
                  Katsumi Inoue},
  editor       = {Masanobu Umeda and
                  Armin Wolf and
                  Oskar Bartenstein and
                  Ulrich Geske and
                  Dietmar Seipel and
                  Osamu Takata},
  title        = {Prolog Cafe : {A} Prolog to Java Translator System},
  booktitle    = {Declarative Programming for Knowledge Management, 16th International
                  Conference on Applications of Declarative Programming and Knowledge
                  Management, {INAP} 2005, Fukuoka, Japan, October 22-24, 2005, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {4369},
  pages        = {1--11},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11963578\_1},
  doi          = {10.1007/11963578\_1},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/inap/BanbaraTI05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/BanbaraKHT01,
  author       = {Mutsunori Banbara and
                  Kyoung{-}Sun Kang and
                  Takaharu Hirai and
                  Naoyuki Tamura},
  editor       = {Philippe Codognet},
  title        = {Logic Programming in a Fragment of Intuitionistic Temporal Linear
                  Logic},
  booktitle    = {Logic Programming, 17th International Conference, {ICLP} 2001, Paphos,
                  Cyprus, November 26 - December 1, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2237},
  pages        = {315--330},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45635-X\_29},
  doi          = {10.1007/3-540-45635-X\_29},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/BanbaraKHT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/tcs/BanbaraT99,
  author       = {Mutsunori Banbara and
                  Naoyuki Tamura},
  editor       = {In{\^{e}}s de Castro Dutra and
                  V{\'{\i}}tor Santos Costa and
                  Gopal Gupta and
                  Enrico Pontelli and
                  Manuel Carro and
                  P{\'{e}}ter Kacsuk},
  title        = {Translating a Linear Logic Programming Language into Java},
  booktitle    = {Parallelism and Implementation Technology for (Constraint) Logic Programming,
                  in connection with the International Conference on Logic Programming,
                  {ICLP} 1999, Las Cruces, New Mexico, USA, December 1, 1999},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {30},
  number       = {3},
  pages        = {20--45},
  publisher    = {Elsevier},
  year         = {1999},
  url          = {https://doi.org/10.1016/S1571-0661(05)80111-2},
  doi          = {10.1016/S1571-0661(05)80111-2},
  timestamp    = {Wed, 23 Nov 2022 16:40:54 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BanbaraT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/BanbaraT98,
  author       = {Mutsunori Banbara and
                  Naoyuki Tamura},
  editor       = {Konstantinos Sagonas},
  title        = {Compiling Resources in a Linear Logic Programming Language},
  booktitle    = {Proceedings of the International Workshop on Implementation Technology
                  for Programming Languages based on Logic, held in conjunction with
                  the Joint International Conference and Symposium on Logic Programming,
                  Manchester, UK, Saturday 20th June, 1998},
  pages        = {32--45},
  year         = {1998},
  timestamp    = {Wed, 20 Jun 2018 17:50:49 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/BanbaraT98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.