Mutsunori Banbara

Available identifiers

zbMath Open banbara.mutsunoriMaRDI QIDQ842793

List of research outcomes

Publication	Date of Publication	Type
Fast enumeration of all cost-bounded solutions for combinatorial problems using ZDDs	2024-12-04	Paper
Combinatorial reconfiguration with answer set programming: algorithms, encodings, and empirical analysis	2024-07-19	Paper
Hamiltonian cycle reconfiguration with answer set programming	2024-05-29	Paper
Recongo: bounded combinatorial reconfiguration with answer set programming	2024-05-29	Paper
SAF: SAT-based attractor finder in asynchronous automata networks	2024-02-28	Paper
\textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming	2019-03-06	Paper
Clingcon: The next generation	2017-11-09	Paper
Catnap: generating test suites of constrained combinatorial testing with answer set programming	2017-09-05	Paper
aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming	2015-11-04	Paper
Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem	2015-01-14	Paper
Answer set programming as a modeling language for course timetabling	2014-02-27	Paper
Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix	2014-02-25	Paper
https://portal.mardi4nfdi.de/entity/Q3005898	2011-06-10	Paper
Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers	2010-10-12	Paper
Compiling finite linear CSP into SAT	2009-09-25	Paper
Compiling Finite Linear CSP into SAT	2008-09-09	Paper
A competitive and cooperative approach to propositional satisfiability	2007-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q4736522	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4499267	2001-03-06	Paper

Research outcomes over time

This page was built for person: Mutsunori Banbara