Mutsunori Banbara

From MaRDI portal
Person:842793

Available identifiers

zbMath Open banbara.mutsunoriMaRDI QIDQ842793

List of research outcomes





PublicationDate of PublicationType
Fast enumeration of all cost-bounded solutions for combinatorial problems using ZDDs2024-12-04Paper
Combinatorial reconfiguration with answer set programming: algorithms, encodings, and empirical analysis2024-07-19Paper
Hamiltonian cycle reconfiguration with answer set programming2024-05-29Paper
Recongo: bounded combinatorial reconfiguration with answer set programming2024-05-29Paper
SAF: SAT-based attractor finder in asynchronous automata networks2024-02-28Paper
\textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming2019-03-06Paper
Clingcon: The next generation2017-11-09Paper
Catnap: generating test suites of constrained combinatorial testing with answer set programming2017-09-05Paper
aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming2015-11-04Paper
Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem2015-01-14Paper
Answer set programming as a modeling language for course timetabling2014-02-27Paper
Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix2014-02-25Paper
https://portal.mardi4nfdi.de/entity/Q30058982011-06-10Paper
Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers2010-10-12Paper
Compiling finite linear CSP into SAT2009-09-25Paper
Compiling Finite Linear CSP into SAT2008-09-09Paper
A competitive and cooperative approach to propositional satisfiability2007-01-09Paper
https://portal.mardi4nfdi.de/entity/Q47365222004-08-09Paper
https://portal.mardi4nfdi.de/entity/Q44992672001-03-06Paper

Research outcomes over time

This page was built for person: Mutsunori Banbara