Mutsunori Banbara
Orcid: 0000-0002-5388-727XAffiliations:
- Nagoya University, Japan
According to our database1,
Mutsunori Banbara
authored at least 37 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Theory Pract. Log. Program., 2024
Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis.
Proceedings of the WALCOM: Algorithms and Computation, 2024
Proceedings of the SOFSEM 2024: Theory and Practice of Computer Science, 2024
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024
Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming.
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
2023
Proceedings of the Practical Aspects of Declarative Languages, 2023
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
Proceedings of the Computational Methods in Systems Biology, 2023
Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies, 2023
2022
Interval-Memoized Backtracking on ZDDs for Fast Enumeration of All Lower Cost Solutions.
CoRR, 2022
2021
CoRR, 2021
2019
teaspoon : solving the curriculum-based course timetabling problems with answer set programming.
Ann. Oper. Res., 2019
2017
Proposal and Evaluation of Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings.
Int. J. Artif. Intell. Tools, 2017
catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017
Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation.
Proceedings of the Principles and Practice of Constraint Programming, 2017
2015
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015
2014
Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
2013
Theory Pract. Log. Program., 2013
CoRR, 2013
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013
2012
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012
Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix.
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012
2011
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011
2010
Fundam. Informaticae, 2010
Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010
2009
2006
Discret. Appl. Math., 2006
2005
Proceedings of the Declarative Programming for Knowledge Management, 2005
2001
Proceedings of the Logic Programming, 17th International Conference, 2001
1999
Proceedings of the Parallelism and Implementation Technology for (Constraint) Logic Programming, 1999
1998
Compiling Resources in a Linear Logic Programming Language.
Proceedings of the International Workshop on Implementation Technology for Programming Languages based on Logic, 1998