Personal information

Japan

Activities

Employment (1)

Nagoya University: Nagoya, JP

2018-10-01 to present (Graduate School of Informatics)
Employment
Source: Self-asserted source
Mutsunori Banbara

Works (16)

teaspoon: solving the curriculum-based course timetabling problems with answer set programming

Annals of Operations Research
2019 | Journal article
Contributors: Mutsunori Banbara; Katsumi Inoue; Benjamin Kaufmann; Tenda Okimoto; Torsten Schaub; Takehide Soh; Naoyuki Tamura; Philipp Wanko
Source: check_circle
Web of Science Researcher Profile Sync

catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming

Lecture Notes in Artificial Intelligence
2017 | Journal article
Contributors: Banbara, Mutsunori; Inoue, Katsumi; Kaneyuki, Hiromasa; Okimoto, Tenda; Schaub, Torsten; Soh, Takehide; Tamura, Naoyuki
Source: check_circle
Web of Science Researcher Profile Sync

Clingcon: The next generation

Theory and Practice of Logic Programming
2017 | Journal article
Contributors: MUTSUNORI BANBARA; BENJAMIN KAUFMANN; MAX OSTROWSKI; Torsten Schaub
Source: check_circle
Web of Science Researcher Profile Sync

Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings

International Journal on Artificial Intelligence Tools
2017 | Journal article
Contributors: Soh, Takehide; Soh, Takehide; Banbara, Mutsunori; Banbara, Mutsunori; Tamura, Naoyuki; Tamura, Naoyuki
Source: check_circle
Web of Science Researcher Profile Sync

A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings

IEEE 27TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI)
2015 | Journal article
Contributors: Takehide Soh; Mutsunori Banbara; Naoyuki Tamura
Source: check_circle
Web of Science Researcher Profile Sync

Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem

Lecture Notes in Artificial Intelligence
2014 | Journal article
Contributors: Takehide Soh
Source: check_circle
Web of Science Researcher Profile Sync

Answer set programming as a modeling language for course timetabling

Theory and Practice of Logic Programming
2013 | Journal article
Contributors: MUTSUNORI BANBARA; TAKEHIDE SOH; NAOYUKI TAMURA; KATSUMI INOUE; TORSTEN SCHAUB
Source: check_circle
Web of Science Researcher Profile Sync

Compiling Pseudo-Boolean Constraints to SAT with Order Encoding

IEEE 25TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI)
2013 | Journal article
Contributors: Tamura, Naoyuki; Tamura, Naoyuki; Banbara, Mutsunori; Banbara, Mutsunori; Soh, Takehide; Soh, Takehide
Source: check_circle
Web of Science Researcher Profile Sync

A Compact and Efficient SAT-Encoding of Finite Domain CSP

Lecture Notes in Computer Science
2011 | Journal article
Contributors: Tanjo, Tomoya; Tamura, Naoyuki; Banbara, Mutsunori
Source: check_circle
Web of Science Researcher Profile Sync

A SAT-based Method for Solving the Two-dimensional Strip Packing Problem

Fundamenta Informaticae
2010 | Journal article
Contributors: Soh Takehide; Inoue Katsumi; Tamura Naoyuki; Banbara Mutsunori; Nabeshima Hidetomo
Source: check_circle
Web of Science Researcher Profile Sync

Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers

Lecture Notes in Computer Science
2010 | Journal article
Contributors: Naoyuki Tamura
Source: check_circle
Web of Science Researcher Profile Sync

Solving Constraint Satisfaction Problems with SAT Technology

Functional and Logic Programming, Proceedings
2010 | Journal article
Contributors: Naoyuki Tamura
Source: check_circle
Web of Science Researcher Profile Sync

Compiling finite linear CSP into SAT

Constraints
2009 | Journal article
Contributors: Tamura, Naoyuki; Taga, Akiko; Kitagawa, Satoshi; Banbara, Mutsunori
Source: check_circle
Web of Science Researcher Profile Sync

A competitive and cooperative approach to propositional satisfiability

Discrete Applied Mathematics
2006 | Journal article
Contributors: Katsumi Inoue; Takehide Soh; Seiji Ueda; Yoshito Sasaura; Mutsunori Banbara; Naoyuki Tamura
Source: check_circle
Web of Science Researcher Profile Sync

Compiling finite linear CSP into SAT

Lecture Notes in Computer Science
2006 | Journal article
Source: check_circle
Web of Science Researcher Profile Sync

Prolog Cafe: A prolog to Java translator system

Declarative Programming for Knowledge Management
2006 | Journal article
Contributors: Naoyuki Tamura
Source: check_circle
Web of Science Researcher Profile Sync