Mutsunori Banbara

Orcid: 0000-0002-5388-727X

Affiliations:
  • Nagoya University, Japan


According to our database1, Mutsunori Banbara authored at least 34 papers between 1998 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Combinatorial Reconfiguration with Answer Set Programming: Algorithms, Encodings, and Empirical Analysis.
Proceedings of the WALCOM: Algorithms and Computation, 2024

On the Computational Complexity of Generalized Common Shape Puzzles.
Proceedings of the SOFSEM 2024: Theory and Practice of Computer Science, 2024

2023
Bounded Combinatorial Reconfiguration with Answer Set Programming.
CoRR, 2023

Solving Vehicle Equipment Specification Problems with Answer Set Programming.
Proceedings of the Practical Aspects of Declarative Languages, 2023

Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming.
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Hamiltonian Cycle Reconfiguration with Answer Set Programming.
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

SAF: SAT-Based Attractor Finder in Asynchronous Automata Networks.
Proceedings of the Computational Methods in Systems Biology, 2023

SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks.
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
Solving Rep-tile by Computers: Performance of Solvers and Analyses of Solutions.
CoRR, 2021

2019
teaspoon : solving the curriculum-based course timetabling problems with answer set programming.
Ann. Oper. Res., 2019

2017
Clingcon: The next generation.
Theory Pract. Log. Program., 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
aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

A Hybrid Encoding of CSP to SAT Integrating Order and Log Encodings.
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
Answer set programming as a modeling language for course timetabling.
Theory Pract. Log. Program., 2013

Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming.
CoRR, 2013

Scarab: A Rapid Prototyping Tool for SAT-Based Constraint Programming Systems.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

Compiling Pseudo-Boolean Constraints to SAT with Order Encoding.
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012
Azucar: A SAT-Based CSP Solver Using Compact Order Encoding - (Tool Presentation).
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
A Compact and Efficient SAT-Encoding of Finite Domain CSP.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

2010
A SAT-based Method for Solving the Two-dimensional Strip Packing Problem.
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

Solving Constraint Satisfaction Problems with SAT Technology.
Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

2009
Compiling finite linear CSP into SAT.
Constraints An Int. J., 2009

2006
A competitive and cooperative approach to propositional satisfiability.
Discret. Appl. Math., 2006

2005
Prolog Cafe : A Prolog to Java Translator System.
Proceedings of the Declarative Programming for Knowledge Management, 2005

2001
Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic.
Proceedings of the Logic Programming, 17th International Conference, 2001

1999
Translating a Linear Logic Programming Language into Java.
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


  Loading...